git.iko.soy/Idris-dev
on 486b176 help sign in
Idris-dev/src
2 folders, 1 file
../ Core/Check definitions structurally as well as by name in conversion Idris/(Try again...) Fixed some case statement bugs Main.hs:addproof knows about .lidr files