git.iko.soy/Idris-dev
on 0f49abc help sign in
0f49abcAdded first steps in type providersDavid Christiansen 6e732f9Added %provide directive to parserDavid Christiansen 3fc67a2Fix error with linearity checking in patternsEdwin Brady 9841e2aFix wrong type bug in implicit coercionsEdwin Brady de8852fMerge pull request #230 from david-christiansen/masterEdwin Brady df5bf81Merge remote-tracking branch 'upstream/master'David Christiansen cfdcec5Stop completion of names that are prefixes of othersDavid Christiansen 6f194a2Only use metavariables as completions for :p and :proveDavid Christiansen da6d14dvim: added dsl notationraichoo 6a09804Merge pull request #229 from raichoo/vimEdwin Brady 12dfc33Fix comedy error in termination checkerEdwin Brady 08e9182Complete identifiers following non-whitespaceDavid Christiansen dee61dfAdded typeclass for uninhabited typesDavid Christiansen 11f687eAdd myself to CONTRIBUTORSDavid Christiansen 46fa727Merge pull request #228 from david-christiansen/completionEdwin Brady 1617dd3Stop completion of names that are prefixes of othersDavid Christiansen 25a4649Only use metavariables as completions for :p and :proveDavid Christiansen b441aabFix comedy error in termination checkerEdwin Brady 0bcdd51Complete identifiers following non-whitespaceDavid Christiansen 62035e5vim: added dsl notationraichoo f19d017Merge pull request #225 from david-christiansen/uninhabitedEdwin Brady a3cd5fdAdded typeclass for uninhabited typesDavid Christiansen 169fea1Merge pull request #222 from michaelt/masterEdwin Brady 6ec9d65Merge pull request #221 from JanBessai/masterEdwin Brady 0b58ae0Missing case in Idris.ParserMichael Thompson 43056d6Backend support for JavaJan Bessai a02202dMerge pull request #219 from raichoo/masterEdwin Brady 672307cvim: added tactics blockraichoo d1d6bb0vim: added reflect tacticraichoo a332d4eMerge pull request #218 from raichoo/masterEdwin Brady a162bd4Check the type of a proof matches the type of the goal!Edwin Brady 21f2ce3evTree does not handle ImpossibleCaseraichoo 69d3216Minor tutorial updatesEdwin Brady 109f2d7Update version number to 0.9.7Edwin Brady 4928113Change argument order for mkStrFnEdwin Brady b1037e1Merge pull request #214 from bitlisp/trivialdefunEdwin Brady ae62b2fMerge pull request #211 from raichoo/morphEdwin Brady 50fd9b5Some RTS functions to help with allocation in foreign functionsEdwin Brady 03db88dFix some big number primitives Fixes issue #177Edwin Brady c70992bGenerate legal DChkCase expressions when defunctionalization is trivialBenjamin Saunders 7c393c7Merge pull request #212 from david-christiansen/inductive-intsEdwin Brady afd2d7fAdd inductive integersDavid Christiansen 4be6831renamed homomorphism to morphismraichoo abb2c24Remove Threading effect (on account of it not working :))Edwin Brady 8a694e0Merge pull request #205 from Melvar/masterEdwin Brady 18aca84Merge pull request #206 from LeifW/factor_out_monoid_maybe_cast_to_named_functionsEdwin Brady 2322ef8Merge pull request #208 from tauli/patch-1Edwin Brady 0b5a5b3Added effects package and associated testsEdwin Brady 5b12933Corrected typo of the (++) example in views.textauli 2a97d54Make seperated named functions for the Monoid <=> Maybe cast.Leif Warner