git.iko.soy/Idris-dev
on 028301c help sign in
Idris-dev/src
4 folders, 1 file
../ IRTS/Exact name lookups in getArity. Idris/Rewrote signatures to annonate with full Conor colours, changed documentation structure to fix critical Internet Explorer problem, and changed the name of the builtins module, also for Internet Explorer Pkg/Merged with master Util/Add CodegenInfo structure, give CGs uniform types .ghci