git.iko.soy/Idris-dev
on 63afafa help sign in
Idris-dev/src
2 folders, 1 file
../ Core/Improved termination check (gets ackermann now, but still no mutual recursive definitions) Idris/Improved termination check (gets ackermann now, but still no mutual recursive definitions) Main.hs:addproof knows about .lidr files