git.iko.soy/Idris-dev
on 1203cb9 help sign in
1203cb9Fix comment syntax for highlightingDavid Christiansen 52d8165Allow functions to be declared as error handlersDavid Christiansen cda1274Merge pull request #613 from jfdm/tutorialEdwin Brady 32e29e1Fixed reference errors, and improved idrislang.sty.Jan de Muijnck-Hughes eaa15c6Converted examples to listings.Jan de Muijnck-Hughes a0c5524Merge branch 'tutorial' of github.com:jfdm/Idris-dev into tutorialJan de Muijnck-Hughes c75a418Improved macros.Jan de Muijnck-Hughes 3c2443eMerge pull request #609 from jfdm/contrib/listingsEdwin Brady 3adc155Improved macros.Jan de Muijnck-Hughes 87f17deVarious 'beneath the hood' improvements made to the tutorial project.Jan de Muijnck-Hughes cc48d31Fix regression with implicits, add a testEdwin Brady 16eee46Fix case split bug on complex nested patternsEdwin Brady 8531634Set up more partial evaluation machineryEdwin Brady dcd4007Normalise pattern types when typecheckingEdwin Brady 3498ad6Added LaTeX support for Idris.Jan de Muijnck-Hughes 81632d7Merge pull request #594 from JanBessai/NullPtrEdwin Brady 793cf0bMerge pull request #603 from david-christiansen/readme-llvm-ffiEdwin Brady 2130030Merge branch 'master' into NullPtrJan Bessai 7823353Merge remote-tracking branch 'upstream/master' into readme-llvm-ffi to fix reg016.David Christiansen a9f062fChange reg016 to test big int literals properlyEdwin Brady 0469bcaMerge pull request #601 from Ralith/fix-negative-intsEdwin Brady 8cbc611Add note about custom.mk exampleDavid Christiansen 76c7c9eAdd example of custom.mk for building with both optional dependenciesDavid Christiansen 839f69eAdded instructions for LLVM and LibFFI by default to READMEDavid Christiansen ec5de33Fix LLVM codegen of negative integer literalsBenjamin Saunders 9c0cb92Better unused argument spottingEdwin Brady 18d037fMerge branch 'master' of github.com:edwinb/Idris-devEdwin Brady b6627beReinstate inlining of type class dictionariesEdwin Brady 64cbbf0Merge pull request #598 from david-christiansen/docsEdwin Brady 9b6103aMerge pull request #597 from jfdm/masterEdwin Brady 3ebab66Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 9836a07Inlining - Evaluator now supports run-time termsEdwin Brady 6306d68:help and tab completion for :docDavid Christiansen 9394224Added documentation for builtins. Rewrite tactics not documented.Jan de Muijnck-Hughes db0c021Merge pull request #591 from eamsden/NullPtrEdwin Brady 94068f2Merge pull request #589 from LeifW/xml_libEdwin Brady 521dc75Prune case trees properly on optimised NatEdwin Brady 8ccd2e6Add test documentationJan Bessai a0e97d0Make test033 work with Java by using nullPtr from prelude instead of c functionJan Bessai 5f47063null primitive for the Java back endJan Bessai f58b3ebMerge branch 'NullPtr' of https://github.com/eamsden/Idris-dev into NullPtrJan Bessai 86fc1a1Added simple benchmark systemEdwin Brady 8a74649Add ECA to contributorsEdward Amsden 2c31e8eNull pointer FFI testEdward Amsden ffe8706Null pointer primitiveEdward Amsden 029da07Take into account that GMP operations can move dataEdwin Brady b750a04Use "where" instead of "do ... let"Leif Warner 6f34ac1Use XML lib instead of string templating.Leif Warner 6221726Use xml lib to produce <dependencies/>.Leif Warner 9e5f23bMerge branch 'master' of github.com:edwinb/Idris-devEdwin Brady