git.iko.soy/Idris-dev
on master help sign in
history of2e994cd..master
compare
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