git.iko.soy/Idris-dev
on 93946fc help sign in
Idris-dev/src
2 folders, 1 file
../ Core/with fix Idris/insertImpl shouldn't crash if given too many arguments Main.hs:e now reloads the edited file