git.iko.soy/Idris-dev
on master help sign in
history of9040aba..master
compare
2cc6526Adjust code around argsToAlt.Matus Tejiscak 747aaf5Extend argsToAlt to return a quadruple.Matus Tejiscak 204ebf5Added support for data definitionsAlyssa Carter bfdec8fRemoved some commented-out codeAlyssa Carter c1277c8Handling more forms of definition.Alyssa Carter 60b1f18Added some additional documentation for partial evaluationAhmad Salim Al-Sibahi c201192Bring erasure info to the case tree builder.Matus Tejiscak d8ed044Add getInaccessibleArgs.Matus Tejiscak 2e9c299Add ReaderT to CaseBuilder.Matus Tejiscak b0cb4e2Create the CaseBuilder monad alias.Matus Tejiscak a5e8ca3Changed :let to work with an arbitrary number of `PDecl`s (though only one name at a time for now).Alyssa Carter e260741Preliminary support for a :let command in the replAlyssa Carter f2e30f2Merge pull request #1352 from Heather/stringEdwin Brady 59ebac4Merge pull request #1345 from bmsherman/idrisNetFixEdwin Brady 9183cd7Merge pull request #1336 from Heather/systemEdwin Brady f60626fMerge pull request #1334 from Melvar/fix-ipc-encEdwin Brady fc947a6Merge pull request #1229 from LeifW/travis_depsEdwin Brady 97e0778Predicates for Prelude StringsHeather ed971dbMerge pull request #1349 from raichoo/javascriptraichoo baf5218javascript: simple dead code eliminationraichoo 7064d6dMerge pull request #1344 from mrb/maximum_succ_proofDavid Christiansen 49cf179Merge pull request #1346 from bmsherman/searchVarMatchingDavid Christiansen ded4d17add system to Effects/System neweffectsHeather 81a1ddeadd system to Effects.System as isHeather 78b2923Correctly count applications of variables in :searchbmsherman 6fd4a4eFix typo in Idris network C codebmsherman dfa272dsuc{Max,Min}{L,R} + add mrb to CONTRIBUTORSmrb 5bfe037Set the handles used for --client to use UTF-8Melvar Chen 9b13bd4data-lens is not a dep of idrisLeif Warner ffb08c2Add pkg-config gc flags to llvm MakefileJason Gross