git.iko.soy/Idris-dev
on 02501ef help sign in
Idris-dev/src
2 folders, 1 file
../ Core/Build a call graph and only compile things which are used Idris/Changed record update syntax... ...since {} is too overloaded now record { field = val } rec Also put records in their own namespace Main.hs:addproof knows about .lidr files