git.iko.soy/Idris-dev
on 13d08bd help sign in
Idris-dev/src
2 folders, 1 file
../ Core/Better elaboration order; also changed instance argument syntax slightly Idris/Elaborating class declarations Main.hsNot really mini any more...