git.iko.soy/Idris-dev
on 80932ef help sign in
Idris-dev/test/docs006
4 files
../ docs006.idrPrint interface constraints as a separate section expectedPrint interface constraints as a separate section inputPrint interface constraints as a separate section runPrint interface constraints as a separate section