git.iko.soy/Idris-dev
on master help sign in
history of268296f..master
compare
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 75e2f82oops undo fie changed in errormartinbaker d74ca63update reference sectionmartinbaker 16e325bfix Sphinx warningmartinbaker 35757f9use HTTPS URL instead of HTTP URL when possibleMilan Kral e3293d9Added missing RESERVENOALLOC case to ToJSON BC definitionMichal Kleczek 5951b75add a couple of Fin operationsAlex Gryzlov 25af56badd links between sectionsmartinbaker 4abb58ffix duplicate namemartinbaker 840d3e4rearrange documentation for elaborator reflectionmartinbaker 9baca94add index function for Data.List.Quantifiers.AllAlex Gryzlov