git.iko.soy/Idris-dev
on da67875 help sign in
da67875Forward chaining search implemented.Matus Tejiscak 49c7abcRemove cached deps'.Matus Tejiscak 7e308ddEliminate unused inputs to erasure analysisMatus Tejiscak 4dc937aCompilability.Matus Tejiscak 3e48badAdd some comments.Matus Tejiscak b40a7b2Remove unused code.Matus Tejiscak 4aa5f8fClean self-references from deps.Matus Tejiscak 06e0bb9Cached deps added.Matus Tejiscak 0a71ea2getDepsTerm covers all cases.Matus Tejiscak 6041ec1Improved dep pretty-printing.Matus Tejiscak 1cc5f39getDepsTerm somehow implemented.Matus Tejiscak 8408f95Intercommit.Matus Tejiscak 16008a4getDeps extended.Matus Tejiscak aff2988Redefine dep analysis data structures.Matus Tejiscak 20b544cIntercommit.Matus Tejiscak 60a3937Reapply 08779298ce2e95b3e16a5a3e5d9c0cf3936d0507 from master.Matus Tejiscak e5b7866Another intercommit.Matus Tejiscak 1b75037Intercommit.Matus Tejiscak ccadc82Ctor usage analysis roughly complete.Matus Tejiscak a4f3868Intercommit. (Deeper usage analysis.)Matus Tejiscak 59c3cd1Make ProjCase take exactly one alternative. (TODO: is this safe?)Matus Tejiscak 437322cfindUsed stub written.Matus Tejiscak cddb095Simplification with pattern guards.Matus Tejiscak 7590fa0More purification.Matus Tejiscak a1feb70Cleanup and purification in Erasure.hs.Matus Tejiscak 3c78dcbSimplify unused arg search.Matus Tejiscak 961c6bcRemove export of traceUnused.Matus Tejiscak 2ac5aaaRename UnusedArgs to Erasure.Matus Tejiscak 78c27e9Remove example directoryEdwin Brady 845e02aMake a note of deferred data typesEdwin Brady 4b11ccdMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 3d6fc38Merge pull request #1049 from david-christiansen/ideslave-cleanupEdwin Brady 264be6bExtract giant case block to top-level functionDavid Raymond Christiansen ad057dbMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 22d4f7eMerge pull request #1046 from david-christiansen/metavar-ideslaveEdwin Brady c074709Merge pull request #1040 from david-christiansen/issue/1019Edwin Brady 4e7a0eeMerge pull request #1039 from david-christiansen/issue/1029Edwin Brady 822328bMerge pull request #1038 from david-christiansen/typed-lazy-executorEdwin Brady dcdebfcMerge pull request #1037 from paulkoerbitz/fix-control-module-namesEdwin Brady 6857d73Merge pull request #1035 from puffnfresh/bug/parser-nocolourEdwin Brady a96684aMerge pull request #1031 from tpsinnem/default-arg-substEdwin Brady 8374804Update CHANGELOG for metavars in IDESlaveDavid Raymond Christiansen e3cfa93Add command to IDESlave for metavarsDavid Raymond Christiansen 650b699Dummy commit to rerun a timeouted Travis buildTimo Petteri Sinnemäki 0aca520Increment IBC versionTimo Petteri Sinnemäki 5f3627cShow terms more prettilyDavid Raymond Christiansen 860cdc0Show type class parameters in :iDavid Raymond Christiansen f6b036cProperly show superclass constraints in :iDavid Raymond Christiansen f927e7fUse pretty-printer for :i commandDavid Raymond Christiansen 3d59246Normalise thunk contents when returning from executorDavid Raymond Christiansen