git.iko.soy/Idris-dev
on 9f3675a help sign in
Idris-dev/src
4 folders, 1 file
../ IRTS/Show source location of case block names Idris/Store patvar binding types in idris_patdefs Pkg/Replace isNothing+fromJust with case Util/Allow an extension on tempfiles .ghci