git.iko.soy/Idris-dev
on 526cd75 help sign in
Idris-dev/src
4 folders, 1 file
../ IRTS/Move buffer offset handling into idris code Idris/Add assert_smaller function Pkg/Make sure package parsing reaches end of file Util/Use the pprint library to insert line breaks .ghciAdded .ghci specifying language extensions.