git.iko.soy/Idris-dev
on d3adb11 help sign in
Idris-dev/src
2 folders, 1 file
../ Core/All names introduced by nachine should be MN, to avoid clashes Idris/Allow argument lists in lambda and pis Main.hsAdded using blocks