git.iko.soy/Idris-dev
on d1663cc help sign in
Idris-dev/test/test026
6 files
../ expectedTest for simple file-based type providers inputTest for simple file-based type providers runTest for simple file-based type providers test026.idrMake test026 more robust theOtherTypeTest for simple file-based type providers theTypeTest for simple file-based type providers