git.iko.soy/Idris-dev
on 3c58bbf help sign in
Idris-dev/src
4 folders, 1 file
../ IRTS/Early buffer implementation for the Java codegen Idris/Check assert_total is defined before evaluating Pkg/Make sure package parsing reaches end of file Util/Use the pprint library to insert line breaks .ghciAdded .ghci specifying language extensions.