df7cb1aMerge pull request #3681 from jfdm/fix-tagsoupJan de Muijnck-Hughes10 years ago 44706aeRelax dependency on Tagsoup.Jan de Muijnck-Hughes10 years ago 16e2f28Merge pull request #3678 from jfdm/updated-stackJan de Muijnck-Hughes10 years ago 3acfea9Merge pull request #3447 from jfdm/ipkg-warning-flagJan de Muijnck-Hughes10 years ago 9d703c2Merge pull request #3680 from ostera/patch-1Jan de Muijnck-Hughes10 years ago 2f855c5Updated build instructions for stack.Jan de Muijnck-Hughes10 years ago 284533bBumped stack version.Jan de Muijnck-Hughes10 years ago 0512dd0Make Travis Pass AgainJan de Muijnck-Hughes10 years ago 94f4148Updated CHANGELOG and Documentation.Jan de Muijnck-Hughes10 years ago 57068a9When asked Idris will 'audit' Idris projects.Jan de Muijnck-Hughes10 years ago e3f4dcaMerge pull request #3679 from jfdm/make-travis-pass-againJan de Muijnck-Hughes10 years ago e5b3881Break line on some long multiline comments.Leandro Ostera10 years ago d4d8a19Make Idris work with GHC 7.6.3 and Tagsoup 0.14.1Jan de Muijnck-Hughes10 years ago 9fdbb72Prelude.Bits: clarify serialization of BitsX for X={8,16,32,64}Jacob Mitchell10 years ago f82a1c4Change a lookupCtxt to lookupCtxtExactEdwin Brady10 years ago 6dffcc7Fix reporting of infinite unificationEdwin Brady10 years ago a865b02Update version numbersEdwin Brady10 years ago c271f58Support interfaces in mutual blocksEdwin Brady10 years ago f40d2f9Reduce default optimisation levelEdwin Brady10 years ago 420b465Fix 'impossible' error with empty typesEdwin Brady10 years ago e0cc0cfMerge pull request #3629 from atacratic/DataZZProofsEdwin Brady10 years ago be1abdcMerge pull request #3615 from Kyarigwo/updateDocumentationPrelude.CharsEdwin Brady10 years ago e5e5711Merge pull request #3669 from geigerzaehler/simplify-simplified-langEdwin Brady10 years ago 008fb1fMerge pull request #3668 from alexteves/patch-1Edwin Brady10 years ago fb9a5ecSmall revision to codata in the syntax guideEdwin Brady10 years ago 7e1b5a5Merge pull request #3662 from geigerzaehler/fix/master/data-type-docsEdwin Brady10 years ago 199c45dSimplify generating the simplified languageThomas Scholtes10 years ago 6672e33Fix function name in FFI exampleAlexandre Esteves10 years ago 3323d0cAdd docs on data syntaxThomas Scholtes10 years ago 2a68244Updated Unicode Char documentationKyarigwo10 years ago b75f32fAdd myself to CONTRIBUTORSChris Gibbs10 years ago 91c9a50Add proofs to Data.ZZ in contribChris Gibbs10 years ago 865343dMerge upstreamKyarigwo10 years ago 717e854Changed ASCII to Unicode in Prelude.Chars documentation.Kyarigwo10 years ago