git.iko.soy/Idris-dev
on 82fe0c6 help sign in
82fe0c6Merge remote-tracking branch 'origin/error-reflection' into error-reflectionDavid Christiansen 00577beMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 8c93763Careful when unifying explicit argumentsEdwin Brady ebb4691getSpecClause may return multiple clauses laterEdwin Brady 8695646Merge pull request #728 from david-christiansen/issue/727Edwin Brady 3448099Invoke the chaser as a consequence of :lDavid Christiansen 5b6626cMerge pull request #726 from Melvar/collections-fixEdwin Brady 7d30e05Fix too-new importMelvar Chen b8f7742Merge pull request #725 from david-christiansen/cleanup-repl-invokeEdwin Brady 0724907Logic cleanup for REPLDavid Christiansen cbccdd0Update IBC versionEdwin Brady dccddd2Merge branch 'forceability-cleanup-squashed' of https://github.com/ziman/idris into ziman-forceability-cleanup-squashedEdwin Brady 3eefa1eMerge pull request #722 from puffnfresh/simplify-setverboseEdwin Brady cd8fe96Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 2e570a3Merge branch 'default-superclass-instances' of https://github.com/puffnfresh/Idris-dev into puffnfresh-default-superclass-instancesEdwin Brady 50e9624Merge pull request #715 from Melvar/masterEdwin Brady 7cbf0cbMerge pull request #713 from ahmadsalim/feature/inductiontacticEdwin Brady 15ed733(Temporarily) Remove haddock tests from travisEdwin Brady d82d928Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 5bee123Merge pull request #717 from jfdm/contrib-guidelinesEdwin Brady 1bffa17Merge pull request #711 from ahmadsalim/bug/fixenumfromsyntaxEdwin Brady 2397a17Merge pull request #701 from jfdm/contrib/idrislang.styEdwin Brady 99beed8Default superclass intancesBrian McKenna 65c301cRecursive constructor disjointness + cleanupMatus Tejiscak e8ab848Added contributing guidelines.Jan de Muijnck-Hughes 3dd83b7Remove superfluous functionMelvar Chen 86e32fbReadded solveAllAhmad Salim Al-Sibahi 5bc16aeFixed reflection induction tacticAhmad Salim Al-Sibahi 1e93672Improvment on readability and usability of induction and eliminators.Ahmad Salim Al-Sibahi 2dc07faInduction on nat workingAhmad Salim Al-Sibahi 9d0b4eeCorrects infinite stream syntax [start ..]. Closes idris-lang/Idris-dev#706Ahmad Salim Al-Sibahi d66da21Cosmetic tweak in interactive editingEdwin Brady cb625a2Added inputIdrisListing command to load external files.Jan de Muijnck-Hughes 2f52264Fix bracketing problem with \o (again!)Edwin Brady c587387Fix buglet in rendering of Nat patterns in :csEdwin Brady e6a906aRemove tutorial from idris.cabalEdwin Brady 86a0c3aSet version to 0.9.10.1Edwin Brady 775acd3Minor fix for variable update in case splitEdwin Brady 45d2fd0Bracket output of \o if necessaryEdwin Brady ed50df1Simplify logic for setVerbose in REPLBrian McKenna df059a3Merge branch 'prelude_cleanup' of https://github.com/sjdrodge/Idris-dev into sjdrodge-prelude_cleanupEdwin Brady 3e3b098Give names for clauses generated with :addmissingEdwin Brady 361bc6fCheck data declarations for redefinitionEdwin Brady e803aeaDon't reset totality for non-total thingsEdwin Brady 6c496b7Better semantics for 'impossible'Edwin Brady 808bbee'impossible' fixEdwin Brady 4a0eba1Add %name directive for naming hints in editing.Edwin Brady cc9acdaAdd 'equiv' to autocompletion of tacticsEdwin Brady c1e2921Add missing error message Fixes #693Edwin Brady 10410deBetter DecEq instances for primitives!Edwin Brady