git.iko.soy/Idris-dev
on master help sign in
history ofb0cb4e2..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 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 ffb08c2Add pkg-config gc flags to llvm MakefileJason Gross