git.iko.soy/Idris-dev
on ae3ad10 help sign in
Idris-dev/src
2 folders, 1 file
../ Core/No holes allowed Idris/Apply fromInteger for negative numbers Main.hs:e now reloads the edited file