git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/test/idrisdoc006
1 folder, 5 files
../ A/Updated idrisdoc006 to be more throughly B.idrAdded IdrisDoc tests expectedUpdated idrisdoc006 to be more throughly package_a.ipkgUpdated idrisdoc006 to be more throughly package_b.ipkgAdded IdrisDoc tests runUpdated idrisdoc006 to be more throughly