git.iko.soy/Idris-dev
on master help sign in
history ofe88a135..master
compare
df7cb1aMerge pull request #3681 from jfdm/fix-tagsoupJan de Muijnck-Hughes 44706aeRelax dependency on Tagsoup.Jan de Muijnck-Hughes 16e2f28Merge pull request #3678 from jfdm/updated-stackJan de Muijnck-Hughes 3acfea9Merge pull request #3447 from jfdm/ipkg-warning-flagJan de Muijnck-Hughes 9d703c2Merge pull request #3680 from ostera/patch-1Jan de Muijnck-Hughes 2f855c5Updated build instructions for stack.Jan de Muijnck-Hughes 284533bBumped stack version.Jan de Muijnck-Hughes 0512dd0Make Travis Pass AgainJan de Muijnck-Hughes 94f4148Updated CHANGELOG and Documentation.Jan de Muijnck-Hughes 57068a9When asked Idris will 'audit' Idris projects.Jan de Muijnck-Hughes e3f4dcaMerge pull request #3679 from jfdm/make-travis-pass-againJan de Muijnck-Hughes e5b3881Break line on some long multiline comments.Leandro Ostera d4d8a19Make Idris work with GHC 7.6.3 and Tagsoup 0.14.1Jan de Muijnck-Hughes 9fdbb72Prelude.Bits: clarify serialization of BitsX for X={8,16,32,64}Jacob Mitchell f82a1c4Change a lookupCtxt to lookupCtxtExactEdwin Brady 6dffcc7Fix reporting of infinite unificationEdwin Brady a865b02Update version numbersEdwin Brady c271f58Support interfaces in mutual blocksEdwin Brady f40d2f9Reduce default optimisation levelEdwin Brady 420b465Fix 'impossible' error with empty typesEdwin Brady e0cc0cfMerge pull request #3629 from atacratic/DataZZProofsEdwin Brady be1abdcMerge pull request #3615 from Kyarigwo/updateDocumentationPrelude.CharsEdwin Brady e5e5711Merge pull request #3669 from geigerzaehler/simplify-simplified-langEdwin Brady 008fb1fMerge pull request #3668 from alexteves/patch-1Edwin Brady fb9a5ecSmall revision to codata in the syntax guideEdwin Brady 7e1b5a5Merge pull request #3662 from geigerzaehler/fix/master/data-type-docsEdwin Brady c90347fMerge pull request #3583 from PoroCYon/masterEdwin Brady a1e3b5bRevert to normalising from WHNFEdwin Brady 1b3ed30Added Control.ST to contribEdwin Brady ebf9367Make partial evaluator off by defaultEdwin Brady 199c45dSimplify generating the simplified languageThomas Scholtes 6672e33Fix function name in FFI exampleAlexandre Esteves 0ceaa30Deal with interfaces in totality differentlyEdwin Brady 3323d0cAdd docs on data syntaxThomas Scholtes 6f46ba0Merge pull request #3656 from RyanGlScott/masterNiklas Larsson e25c2edMake stylish-haskell happyRyan Scott 4a65355Run Idris in a UTF-8-compatible codepage on WindowsRyan Scott bc553c7%error_reduce for more control over errorsEdwin Brady 2a68244Updated Unicode Char documentationKyarigwo 823d5d7Merge pull request #3649 from be5invis/be5inis-patch-changelog-3644Ahmad Salim Al-Sibahi 835083cUpdate CHANGELOG.mdAhmad Salim Al-Sibahi 63052b7Merge pull request #3648 from RyanGlScott/changelogAhmad Salim Al-Sibahi b8b6fa0update changelogbe5invis 0d5d85dNote #3643 in CHANGELOGRyan Scott b6e1a8cMerge pull request #3643 from RyanGlScott/colors-in-minttyNiklas Larsson 29ec929Fold isMinTTY into isATTYRyan Scott fb221e8Allow colored output on MinTTY consoles on WindowsRyan Scott d08fc3bMerge pull request #3644 from be5invis/be5invis-patch-win32-encodingNiklas Larsson 4fd5fb7Merge pull request #3641 from RyanGlScott/masterNiklas Larsson 8bd7c4aMerge pull request #3636 from mrkgnao/fix/master/nix-shebangsNiklas Larsson