git.iko.soy/Idris-dev
on f80809a help sign in
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 d689c19start on Defining Block Structure using Indentsmartinbaker 0a8b421add page about whitespace and commentsmartinbaker eb780f7Implement Left Recursion Eliminationmartinbaker bc92430tidy up parser library documentationmartinbaker af2766cwork on parser pagemartinbaker fdc5a52dicuss whitespace and commentsmartinbaker e78b7d8fix markupmartinbaker b2dd4bcbetter explanation for lexermartinbaker 3ce4e48improve lexer descriptionmartinbaker bdb7405add parser library documentationmartinbaker d86f82eadd parser library documentationmartinbaker 3b443e2Merge pull request #4798 from martinbaker/fixSphinxWarningNiklas Larsson 9bffc19Merge pull request #4797 from MilanKral/httpsNiklas Larsson 01dd51cMerge pull request #4796 from mkleczek/missing-reservenoalloc-in-tojson-bcNiklas Larsson d5e3013Merge pull request #4795 from clayrat/patch-18Niklas Larsson 94a6326Merge pull request #4790 from clayrat/patch-17Niklas Larsson 7690efbMerge pull request #4794 from martinbaker/mydoc2Niklas Larsson