git.iko.soy/Idris-dev
on ebacfee help sign in
history ofMakefile
all commits
3bfe418Refactor the makefile so that all the pertinent variables are in config.mkJason Dagit 5692e48Added "codata" Constructors of coinductive types evaluate arguments lazily. Corecursive functions do not reduce at compile time.Edwin Brady 1e52324Added simple library packaging system Now used for the prelude (see lib/base.ipkg)Edwin Brady 13e17a4Fix allocation sizeEdwin Brady 38a9365More towards the new compilerEdwin Brady 6807cf4Unreachable case warningEdwin Brady 3b13341Better error reporting for unresolved type classesEdwin Brady 0f7b6d5Correct test004Edwin Brady dccbc43Generate bytecode so that files don't need to be rechecked every time they're loadedEdwin Brady 663c464Added test directory and a single test...Edwin Brady 39b934cSugar for dependent pairsEdwin Brady bcdde4aMakefile addedEdwin Brady