git.iko.soy/Idris-dev
on master help sign in
Add newer tests to idris.cabal
911f5d7Edwin Brady
idris.cabal+6
compare with master
unifiedsplit
@@ -227,6 +227,12 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
227 test/test028/run
227 test/test028/run
228 test/test028/*.idr
228 test/test028/*.idr
229 test/test028/expected
229 test/test028/expected
230+ test/test029/run
231+ test/test029/*.idr
232+ test/test029/expected
233+ test/test030/run
234+ test/test030/*.idr
235+ test/test030/expected
230
236
231
237
232source-repository head
238source-repository head