git.iko.soy/Idris-dev
on 8c19e30 help sign in
8c19e30Record internal name of 'with' functionsEdwin Brady 232fe96First implementation of :cs (case split) REPL commandEdwin Brady 3729d95Add CaseSplit.hs and Command (not yet implemented)Edwin Brady cc780b4Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady b83793eMerge pull request #561 from david-christiansen/issue/560Edwin Brady 9e5c96fAdd error object for failure to load fileDavid Christiansen 3ec0158Add exception handler to mainDavid Christiansen 66cc7f9Bring CHANGELOG up to dateEdwin Brady c261501Merge pull request #558 from ahmadsalim/feature/notypesaskeywordsEdwin Brady 89d0f5dMerge pull request #557 from ahmadsalim/feature/fixindentEdwin Brady d120141Add a final unification stepEdwin Brady 38ddde3Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady f54c665EXPERIMENTAL: Solve more implicits by matchingEdwin Brady d564e1dRemoved keyword from CoreParser tooAhmad Salim Al-Sibahi 9bca7d6Removed types from keyword listAhmad Salim Al-Sibahi ea39754Addition of indentation property support. Fixes indentation property of arguments to tactics such that they are parsed correctly. Fixes idris-lang/Idris-dev#551.Ahmad Salim Al-Sibahi bc0ebeeMerge branch 'feature/columntracking' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/columntrackingEdwin Brady c6f7354Changed the Idris version back, fixed the IBC version insteadAhmad Salim Al-Sibahi 8b17db3Fixed flaw with FC dependency by making FC equality always return true. If any fc equality is needed just use FC' fc to convert. Fixes idris-lang/Idris-dev#550Ahmad Salim Al-Sibahi ef09640Merge pull request #553 from david-christiansen/issue/549Edwin Brady 8de8637Merge pull request #554 from ahmadsalim/feature/fixparametersEdwin Brady 8c909eaMake 'parameters' a keyword such that parameters block doesn't parse as a function declaration. Fixes idris-lang/Idris-dev#546 .Ahmad Salim Al-Sibahi dfb4c00Have --ideslave print errors properlyDavid Christiansen d8fffa2Added 'srand' to Effect.RandomEdwin Brady 8fc6d12Merge pull request #547 from raichoo/masterEdwin Brady b9a3a69Fix missing case in Defunctionalise.hsEdwin Brady 45378f1Update Effect.File to use new failure handlingEdwin Brady fafe598Fix bug in scoping rules for pattern matchesEdwin Brady 57c8657Added column name to sourceAhmad Salim Al-Sibahi e4343cbSupport '!' at REPLEdwin Brady c48303eUse '!' in Effect.StateEdwin Brady 10863bfjavascript: reduce bitint constantsraichoo 167e419javascript: substitute projectionsraichoo d2f5480Update CHANGELOGEdwin Brady 9b74595Change '!' syntax and semantics to be uniformEdwin Brady 1aa559fMerge pull request #545 from david-christiansen/issue/526Edwin Brady ce75a23Check for file extension in :eDavid Christiansen f185e63Merge branch 'master' of github.com:edwinb/Idris-dev into implicit-bindEdwin Brady a271f5dMerge pull request #544 from david-christiansen/issue/543Edwin Brady b5eee09Convert IO errors into erros in the Idris monadDavid Christiansen 20c71b0Change implicit bind notation to a postfix !Edwin Brady 8c9ec38Added 'implicit bind' syntaxEdwin Brady a9f184dA bit more syntactic sugar for effect testingEdwin Brady 6d9f01cUpdate CHANGELOGEdwin Brady ee35a46Merge pull request #541 from ahmadsalim/feature/mecontributorsEdwin Brady 50c66f9Added "if_valid" syntax rule for possibly failing EffectsEdwin Brady e2c0e02Added myself to contributorsAhmad Salim Al-Sibahi 55af041Merge pull request #540 from reynir/patch1Edwin Brady cd462c9add myself to CONTRIBUTORSReynir Reynisson 23d10ceAdd missing patternReynir Reynisson