git.iko.soy/Idris-dev
on e1fce3f help sign in
e1fce3fFix error location in testDavid Raymond Christiansen c48561fBetter approximation of syntax rule errorsDavid Raymond Christiansen e9e7993Replace absurd syntax rule FCsDavid Raymond Christiansen 6d7da92Merge pull request #2378 from david-christiansen/wip/tacticalDavid Christiansen ff60396Make apply match internal behaviourDavid Raymond Christiansen ecab241Merge pull request #2375 from jfdm/fix/loggingDavid Christiansen 6df52faMerge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen a21064eAdd Effect.Monad and Effect.TransEdwin Brady f224681Update FAQEdwin Brady 66870b2Export 'lift' from Control.Monad.StateEdwin Brady 202c913Logging levels must be explicitly mentioned.Jan de Muijnck-Hughes 078574aMerge pull request #2374 from astr0labe/masterDavid Christiansen df8f605Merge pull request #2373 from GuglielmoS/fix/master/doc_should_show_totality_statusDavid Christiansen effdfc3Merge pull request #1 from astr0labe/astr0labe-patch-1Thomas Cooper 36f37dfFixed minor inconsistency in function definitionsThomas Cooper 164c4f6Update REPL :doc related tests with totality statusGuglielmo Fachini 0922ca1Fix #2176 by adding totality status to the REPL :doc command outputGuglielmo Fachini a440a74Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen e6385feMerge pull request #2368 from Melvar/more-showPrecDavid Christiansen 6cd99f3Merge remote-tracking branch 'refs/remotes/origin/wip/tactical' into wip/tacticalDavid Raymond Christiansen 0510928Remove erasure check for PlaceholderDavid Raymond Christiansen 39f210bMerge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen aee82eeFix up a couple Show instances I missed when convertingMelvar Chen f96ccdeMerge pull request #2367 from david-christiansen/wip/tacticalDavid Christiansen b2dc1fcAdd missing reflection constructorDavid Raymond Christiansen d2beadc7.10 compatibilityDavid Raymond Christiansen 63806e5Mark free implicits as dottedDavid Raymond Christiansen 6783eccUpdate test for erasure knowledgeDavid Raymond Christiansen fbbe433Rename function to better reflect purposeDavid Raymond Christiansen 124074aAdd erasure info to Elab reflectionDavid Raymond Christiansen fc57624Allow Elab scripts to create new metavariablesDavid Raymond Christiansen 8ed6000Merge pull request #2358 from david-christiansen/wip/tacticalDavid Christiansen 42025b0Add pretty printer for %runElabDavid Raymond Christiansen 4ad8431Add Elab shell to CHANGELOGDavid Raymond Christiansen 54cd5a6An interactive Elab shellDavid Raymond Christiansen 6bf22eeMerge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen 101f5f9Merge pull request #2355 from david-christiansen/interactive-fixDavid Christiansen 705c36bMerge pull request #2348 from ISANobody/masterDavid Christiansen 34f516dCanonicalize paths in internalappDavid Raymond Christiansen d03295dPrint directory properlyDavid Raymond Christiansen 3bee81eAdd error handler for Num classEdwin Brady 207ab7fMerge remote-tracking branch 'refs/remotes/origin/wip/tactical' into wip/tacticalDavid Raymond Christiansen 89c19beBetter error message for cast failureEdwin Brady c882154Fix DeepSeq matchingEdwin Brady 9056a4aMerge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen 76b39b1Fix pattern warning in DeepSeqEdwin Brady bfacfbcBetter partial evaluation of polymorphic HOFsEdwin Brady 7f20febDon't totality check PE definitionsEdwin Brady cb1805bAdd local namespace access to ElabDavid Raymond Christiansen 727a3d6Fix transform elaborationEdwin Brady