git.iko.soy/Idris-dev
on fb185aa help sign in
Idris-dev/src
3 folders, 1 file
../ IRTS/Add linear Lam Idris/Check for linearity of constructors Util/Alphabetize and indent imports and LANGUAGE pragmas .ghci