git.iko.soy/Idris-dev
on master help sign in
c6c928fMerge pull request #4827 from ilyakooo0/lts-15.3Niklas Larsson ccbdb4bMerge pull request #4830 from melted/fix_ghc_86Niklas Larsson c14f72fFix build on GHC 8.6Niklas Larsson dba5ef4Added noteiko 1b614a3Removed broken snapshotsiko 83e4fa5Fixed typoiko 0380bb9Reordered extensionsiko 3fdadd5Updated resolveriko b01f45aAdded stacksiko 7467a08Support megaparsec < 8iko 87577e3Merge pull request #4829 from alexhumphreys/patch-3Niklas Larsson 289b058Update introduction.rstAlex Humphreys 93cfe98Merge pull request #4820 from nickdrozd/reverseNiklas Larsson 49d7b89Removed GHC 8.6iko 71d1390wipiko 68efb0awipiko d60d56fTry using LD_PRELOADiko ba1c1b5Temporarily removed cachesiko 912ac93Added libffi addoniko ad91f03Removed ghc 8.4iko c80e65fFixed stylish-haskell build erroriko 7393721Removed stack-alt.yaml from Extra-source-filesiko 0c81cf8Updated travisiko d7a669bMigrated to lts-15.3iko 853e453Merge pull request #4825 from jfdm/doc-fixesJan de Muijnck-Hughes c76ade1Fix Readthedocs PDF generationJan de Muijnck-Hughes b7a191bMerge pull request #4823 from jfdm/doc-fixesJan de Muijnck-Hughes bc8926cMinor fix to latex sphinx build configuration.Jan de Muijnck-Hughes 8684daeAlign steps in preorder reasoning exampleNick Drozd 588bc99Simplify isomorphism proofsNick Drozd 76c37e7Simplify proofs of algebra lawsNick Drozd 1f56ca8Further simplify Nat proofsNick Drozd ec395a7Add more reverse propertiesNick Drozd 2e994cdRename List.Extra to List.ReverseNick Drozd bbd0f28Fix fileModifiedTime on 32 bit systemsEdwin Brady 10fd4e7Merge pull request #4812 from nickdrozd/factorialNiklas Larsson 3d83aa0Merge pull request #4818 from nickdrozd/proofsNiklas Larsson 1653d3eSimplify parity arithmetic proofsNick Drozd b72dfc9Add more parity proofs and some commentaryNick Drozd 7ecd2ffSimplify some Nat proofsNick Drozd f80809aAdd factorial proofsNick Drozd 10b7fe8Mention Idris 2 in READMENiklas Larsson fc0acd9Merge pull request #4805 from martinbaker/parseLibDoc2Niklas Larsson 9074a76Merge pull request #4806 from mokshasoft/rts-stdfgnNiklas Larsson 70ebef5Merge pull request #4810 from wstrm/docs-num-lines-jsNiklas Larsson 246c890Merge pull request #4811 from melted/idris2-travisNiklas Larsson bc5ee4bAdd a travis target building Idris 2Niklas Larsson 55df0fbChange lines of code of JavaScript to 60 for Hello World example in docsWilliam Wennerström 53f6fc9Merge pull request #4808 from melted/ghc-8.8Niklas Larsson 9662ab5Disable travis for GHC 8.8 (libffi still broken)Niklas Larsson