git.iko.soy/Idris-dev
on 4e34dfd help sign in
4e34dfdUpdate library list in cabal fileDavid Raymond Christiansen d29fc05Add note to CONTRIBUTING about base/contribDavid Raymond Christiansen 5a1d6a1Remove name of Idris from code blockDavid Raymond Christiansen 5ddd024Merge remote-tracking branch 'refs/remotes/upstream/master' into library-reorgDavid Raymond Christiansen e5b50deMerge pull request #1968 from Chobbes/heap_fixesEdwin Brady ab3b3dbMerge pull request #2016 from idris-lang/revert-1967-gc_mallocEdwin Brady dbe0a3cCheck class arguments for injectivityEdwin Brady 03b7516Revert "GC check allocation of new heap."Edwin Brady 2d311c1Fixes from library reorgDavid Raymond Christiansen 446d99dMerge pull request #1967 from Chobbes/gc_mallocEdwin Brady 81b6b29Update CHANGELOGDavid Raymond Christiansen e1f139aLibrary rearrangement done.David Raymond Christiansen a281e23Class resolution should not use private instancesEdwin Brady f4aaf01Guard !! in forgetEnvEdwin Brady 41d0309Move Algebra to contrib properlyDavid Raymond Christiansen af65583Move more less-supported things to contribDavid Raymond Christiansen 2be0cf8Merge remote-tracking branch 'upstream/master' into library-reorgDavid Raymond Christiansen 9367f93Fix cabal fileDavid Raymond Christiansen 0d4d8dbMore library rearrangingDavid Raymond Christiansen f4554ebDelete DecEq FloatDavid Raymond Christiansen e6c5588Move Network code to contribDavid Raymond Christiansen 15737d9Trickiness with implicits in dependent classesEdwin Brady 059dafbMove System.Concurrency.Raw back to baseDavid Raymond Christiansen 2a2468fMerge pull request #2009 from david-christiansen/wip/tacticalDavid Christiansen 84019b6Fix quasiquoted Raw binder termsDavid Raymond Christiansen 361efb5Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen 147149bAdd 'determining parameters' for classesEdwin Brady 2a70296Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen c2dc6ecAllow new-style tactics to declare function signaturesDavid Raymond Christiansen c66df51Propagate unification solutions into types on 'P'Edwin Brady be9ffc9Proper error message for missing eliminatorsEdwin Brady 5ce7362Type class resolution fixEdwin Brady b493858Add -f execonly to omit library/rts buildsEdwin Brady e6d1cfd(.) should reduce with only two argumentsEdwin Brady 147352cMerge remote-tracking branch 'upstream/master'David Raymond Christiansen bf8dbc9Merge branch 'jfdm-fix/print-semantics'David Raymond Christiansen a39fef3Merge branch 'fix/print-semantics' of https://github.com/jfdm/Idris-dev into jfdm-fix/print-semanticsDavid Raymond Christiansen cfbb866Merge pull request #2006 from david-christiansen/issue/1790David Christiansen 30fe3d7Update cabal file for reorganizationDavid Raymond Christiansen db5b385Initial reorganization into contribDavid Raymond Christiansen 39ba432Merge pull request #2002 from david-christiansen/better-fin-errorDavid Christiansen 6d768bbMore information if a function is overappliedEdwin Brady 15ab5d5Better error message for qed in expressionsDavid Raymond Christiansen ebac088Annotate provenance termsDavid Raymond Christiansen 6c26814Add IDE command for showing TTDavid Raymond Christiansen 01c4f2aA bit more unification error provenanceEdwin Brady 75f6c2dAdd :core to the REPLDavid Raymond Christiansen bb013f0Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen 771ae4aMake IDE mode default to 70 character terminalsDavid Raymond Christiansen 3d87454TT pretty-printing - also in elab debugDavid Raymond Christiansen