git.iko.soy/Idris-dev
on 00052c8 help sign in
Idris-dev/src
2 folders, 1 file
../ Core/Type class instance resolution, and some Num overloading Idris/Type class instance resolution, and some Num overloading Main.hs:r and :e at the REPL.