git.iko.soy/Idris-dev
on 968d433 help sign in
968d433Add a canonical Char→String function and Cast instanceMelvar Chen 9449751Merge pull request #616 from Ralith/quasigroup-solver-benchmarkEdwin Brady 2738ae1Merge pull request #615 from Ralith/args-cleanupEdwin Brady e4d9c85Merge pull request #614 from Melvar/foldable-packEdwin Brady 4fcecd9Add test board and wire up quasigroup solver to benchmark toolsBenjamin Saunders 7426114Merge branch 'quasigroups' into quasigroup-solver-benchmarkBenjamin Saunders 87931f6Rearrangement in preparation for use as benchmarkBenjamin Saunders c63e830Take board path as argumentBenjamin Saunders fb9339dFix test reg004 ignoring extra argumentsBenjamin Saunders 5946416Implement argument access under LLVM codegenBenjamin Saunders e8887b6Store arguments in a global rather than the VM struct so as to reduce dependence of lib on RTS impl detailsBenjamin Saunders 76b48fcFix ambiguity in testMelvar Chen cda1274Merge pull request #613 from jfdm/tutorialEdwin Brady 60cc64eChange Prelude.Strings.pack to apply to FoldableMelvar Chen 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 05b7fdeUpdate for idris 0.9.9.3Benjamin Saunders 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