git.iko.soy/Idris-dev
on da672ec help sign in
Idris-dev/test/pkg001
4 files
../ Main.idrFixed mistake and added test expectedAdded missing expected file runFixed mistake and added test test.ipkgFixed mistake and added test