git.iko.soy/Idris-dev
on ba1c1b5 help sign in
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 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 b4dc55eMissed one v1- command in travisNiklas Larsson 7d0a976Use xenial on travisNiklas Larsson 4770d51Try to fix ppa loadNiklas Larsson e79aaaaMerge remote-tracking branch 'origin/master' into ghc-8.8Niklas Larsson 57624a8Fix test for GHC 8.8Niklas Larsson f784403Use a newer Ubuntu on travisNiklas Larsson 6ccef96Use legacy cabal commands for travisNiklas Larsson 60c0d1cCut GHC 7.10, add GHC 8.8 to TravisNiklas Larsson 41a1278Upgrade cabal for travisNiklas Larsson b5a6637Rename expected, input and runNiklas Larsson 1dd9316Compatibility with GHC 8.8 and Cabal 3.0Niklas Larsson 161573fadd documentation about end-of-inputmartinbaker 0d8b94dshow how to filter whitespacemartinbaker 1f9ad21Merge pull request #4804 from nickdrozd/parityNiklas Larsson 159a7d4Remove unused header files in the C RTSJonas Claeson 33be12cMoved idris_usleep to idris_stdfgnJonas Claeson 06af0c1extend and fix parser library documentationmartinbaker 0ec3bdcextend and fix parser library documentationmartinbaker a99e963dont use partial functionsmartinbaker 50db7e1tidy upmartinbaker 3a6bd7bdocument do notation for grammarmartinbaker 2c45164Add parity arithmetic proofsNick Drozd 0fd2dabMerge pull request #4801 from martinbaker/parseLibDocNiklas Larsson