git.iko.soy/Idris-dev
on ceff983 help sign in
Idris-dev/src
4 folders, 1 file
../ IRTS/Get more data from bigint when truncating Idris/Add @ to reserved operators Pkg/Made Parser submodules actual submodules. Util/Don't check terminal size if we're not connected to one .ghci