git.iko.soy/Idris-dev
on b2dc1fc help sign in
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 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 84bca25Merge pull request #2350 from david-christiansen/wip/tacticalDavid Christiansen 74bfa88Type check definitions added during Elab reflectionDavid Raymond Christiansen bf6dbf9Fix for GHC 7.10David Raymond Christiansen 763af04Merge pull request #2345 from david-christiansen/issue/2333David Christiansen 37f5157Add a DecEq instance for HVectDennis Griffith 86f415eMerge remote-tracking branch 'refs/remotes/upstream/master' into issue/2333David Raymond Christiansen 1f2acdeMerge pull request #2343 from david-christiansen/issue/2322David Christiansen 1d474a2Merge remote-tracking branch 'refs/remotes/upstream/master' into issue/2333David Raymond Christiansen 5542d1cAdd maximum pretty-printer depth option.David Raymond Christiansen 0bc0008Merge pull request #2329 from RossMeikleham/issue/2273David Christiansen dc4d3e1Test updateDavid Raymond Christiansen 02a8a08Merge remote-tracking branch 'refs/remotes/upstream/master' into issue/2322David Raymond Christiansen 38123a4Resugaring for do and fromIntegerDavid Raymond Christiansen a604143Fix parenthesization of if ... then ... else ... in pprintDavid Raymond Christiansen 3a2e54dSeparate resugaring from delaborationDavid Raymond Christiansen fe4c09dFix typos in semantic highlighting docsEdwin Brady 9a44883Fixed pattern matching on Text type in processing the DocStr in REPL.RossMeikleham a38f712Merge pull request #2339 from tpsinnem/masterDavid Christiansen 0d6c32fMerge pull request #2340 from david-christiansen/wip/tacticalDavid Christiansen 5db2080Initial elab reflection docsDavid Raymond Christiansen 58a11c9Added self to contributors list.Timo Petteri Sinnemäki 4ede52dAllow the pretty-printing of Raw termsDavid Raymond Christiansen fa38cb5Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen 37119ebMerge pull request #2332 from jfdm/doc/lang-reference-updateJan de Muijnck-Hughes b75158aMerge pull request #2324 from jfdm/update/tutorial-pdfJan de Muijnck-Hughes