git.iko.soy/Idris-dev
on dcba960 help sign in
dcba960Better way of pruning type class searchEdwin Brady 92d99f8Chase type classes for longerEdwin Brady 463e62aSome type class bug fixesEdwin Brady 7c42f77update algebra.idrEdwin Brady 9f842bdMerge pull request #8 from dpmulligan/masterEdwin Brady e4cefe8Oops: mistakenly reverted to faulty definition of Eq on nats.Dominic Mulligan 7f7cf8cA few changes:Dominic Mulligan 891b52a%obj should be %link in tutorialEdwin Brady cb47ec1record fixEdwin Brady 81f2c89Small error message fixEdwin Brady 4bcfa68Tinker with specialisationEdwin Brady 09f2abdFix let overloading bug with do blocksEdwin Brady 0338d39Fix case statements in type signaturesEdwin Brady 00d7c69Work towards making {static} arguments and specialisation work properlyEdwin Brady ae1cf53Tutorial typos fixedEdwin Brady 5399670Some documentation updatesEdwin Brady 709e330Check for overlapping type class instancesEdwin Brady 58bcd1eBetter type class resolutionEdwin Brady 33baa44More on errors; propagate line numbersEdwin Brady ed72247Try to get line numbers betterEdwin Brady b04ea13Eq Nat fixEdwin Brady c7a3b59Coverage checker tweakEdwin Brady f49cd3bPass options on functions in typeclasses through to instancesEdwin Brady 6b6dc72Added note on the empty type and totality checking to the tutorialEdwin Brady 9839562Fix silly error in termination checker :)Edwin Brady 86c2beeMerge pull request #7 from dpmulligan/masterEdwin Brady 0dd7396Set totality of primitive operatorsEdwin Brady 1b7d089Recheck totality after an interactive proofEdwin Brady 9864c25Add :total commandEdwin Brady 7142d7eTotality checker tweaksEdwin Brady 63afafaMore additions to natural numbers theory.Dominic Mulligan 34c0ebbMerge remote-tracking branch 'upstream/master'Dominic Mulligan b1e95cbFix coverage checkerEdwin Brady 8079a69More additions to the Nat file.Dominic Mulligan 7fb7decImproved termination check (gets ackermann now, but still no mutual recursive definitions)Edwin Brady 486b176Some re-ordering of the tutorialEdwin Brady 141694fFix typoEdwin Brady 0f60127Update tutorial pdfEdwin Brady e200d08Added DSL file to tutorial (oops)Edwin Brady bb3e629Remark on types in instance blocksEdwin Brady 978479b(Try again...) Fixed some case statement bugsEdwin Brady 6f96ffaAdded some libraries, fixed some case statement bugsEdwin Brady db08df4Small record fix for implicit argumentsEdwin Brady 1effd22Fix lib/MakefileEdwin Brady 68194ceFix export of record fieldsEdwin Brady 88de6d0Update tutorial pdfEdwin Brady c4866f4More on idiomsEdwin Brady 7e2765bIdiom brackets and dsl notation in tutorialEdwin Brady 392c225Check definitions structurally as well as by name in conversionEdwin Brady 21c3a30Give up type class resolution soonerEdwin Brady