git.iko.soy/Idris-dev
on 585ea9f help sign in
Idris-dev/src
4 folders, 1 file
../ IRTS/Exact name lookups in getArity. Idris/Finished HTML generation of type headers and fixed a sorting bug for the index page Pkg/Merged with master Util/Add CodegenInfo structure, give CGs uniform types .ghci