git.iko.soy/Idris-dev
on master help sign in
Add folding001 test to cabal
d2e8625Niklas Larsson
idris.cabal+4
compare with master
unifiedsplit
@@ -421,6 +421,10 @@ Extra-source-files:
421 test/ffi006/run
421 test/ffi006/run
422 test/ffi006/expected
422 test/ffi006/expected
423
423
424+ test/folding001/*.idr
425+ test/folding001/run
426+ test/folding001/expected
427+
424 test/idrisdoc001/run
428 test/idrisdoc001/run
425 test/idrisdoc001/expected
429 test/idrisdoc001/expected
426 test/idrisdoc001/*.idr
430 test/idrisdoc001/*.idr