git.iko.soy/Idris-dev
on be33671 help sign in
Idris-dev/src
2 folders, 1 file
../ Core/Don't search for type class instances we'll never solve - also allow default Int for Num Idris/Don't search for type class instances we'll never solve - also allow default Int for Num Main.hs:e now reloads the edited file