git.iko.soy/Idris-dev
on ef36111 help sign in
ef36111Merge branch 'master' into repl-definitionsAlyssa Carter c578372Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady a9dd2e4Lift out proof term into a separate moduleEdwin Brady ccda94eMerge pull request #1447 from jwiegley/masterDavid Christiansen e3be67aBump upper bound on parsers dependencyJohn Wiegley 382542aAdd %no_implicit directiveEdwin Brady 8407c27Update version numberv0.9.14.1Edwin Brady 0c96d97Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady c72d0f4Split elaborator into multiple source filesEdwin Brady 03bf0b1Merge pull request #1444 from david-christiansen/reflection-updatesDavid Christiansen 621bd1dMerge pull request #1440 from Melvar/fix-bangbind-opDavid Christiansen bc34332Improve quasiquote patterns for MNDavid Raymond Christiansen 86a66e1Merge pull request #1443 from david-christiansen/reflection-updatesDavid Christiansen e0dc334Update documentation in Language.ReflectionDavid Raymond Christiansen bc74895Add Quotable instances for Raw and TacticDavid Raymond Christiansen 04e32f5Merge pull request #1414 from Heather/writeLineEdwin Brady 8d5c1feMerge pull request #1438 from david-christiansen/reflection-updatesDavid Christiansen d10ed5dMerge pull request #1433 from jmitchell/effects-docDavid Christiansen a73b6afFix reference to broken primitivesDavid Raymond Christiansen 5d25ac8Add regression test for operators starting with "!"Melvar Chen 79308e7Add typeclass for programmatic quotingDavid Raymond Christiansen 9884992Update Eq and Show reflection for internals changesDavid Raymond Christiansen c41b605Update reflection code to current core language.David Raymond Christiansen d8bb870Allow “!” to start a larger operatorMelvar Chen 5cf623bMerge pull request #1435 from david-christiansen/issue/1434David Christiansen 816e85bReinsert check for constructor/family mismatch.David Raymond Christiansen 87ac834Add 'doc' and 'doc_clean' make targets for Effects libJake Mitchell f0eb9a9Removing an obsolete caseAlyssa Carter a114693Instance declarations are working now.Alyssa Carter 4d33a16Fixity declarations work in the repl now.Alyssa Carter ad81ad3Use a slightly different pretty printer for PDeclsAlyssa Carter 92af9baMerge pull request #1425 from david-christiansen/fail-skip-tacticsDavid Christiansen 84b172aAdd tactics "skip" and "fail"David Raymond Christiansen 008bf72Adding Alyssa Carter to CONTRIBUTORSAlyssa Carter 8a48c26Merge branch 'master' into repl-definitionsAlyssa Carter 92abe64REPL class definitions should now be marked as repl-definedAlyssa Carter 8532710Merge pull request #1424 from ahmadsalim/improvement/replcommandsbacktrackingDavid Christiansen eb241edFixed wrong handling of whitespace between commands and argumentsAhmad Salim Al-Sibahi fb2d914Removed unnecessary backtracking in REPL command parsing making errors harder to understandAhmad Salim Al-Sibahi 313340eMerge pull request #1422 from fread2281/masterDavid Christiansen 1fcbb92Supporting some more declaration types.Alyssa Carter ae9b938Merge branch 'master' into repl-definitionsAlyssa Carter 97a2c74Add Functor Monad and Applicative id instancesCarter Charbonneau abc99c6Merge pull request #1421 from Melvar/fix-matchapp-opDavid Christiansen 41b2552Allows parsing operators that start with “<==”Melvar Chen e729d1aMerge pull request #1413 from david-christiansen/masterDavid Christiansen 7fa538aMerge pull request #1417 from david-christiansen/travis-list-packagesDavid Christiansen f38b611Make Idris build with the latest hackageDavid Raymond Christiansen ef19157Put an upper bound on TrifectaDavid Raymond Christiansen 249523dList packages in TravisDavid Raymond Christiansen