git.iko.soy/Idris-dev
on 02ef050 help sign in
Idris-dev/src
2 folders, 1 file
../ Core/Small error message fix Idris/Check that methods are part of a class when defining instances Main.hs:addproof knows about .lidr files