git.iko.soy/Idris-dev
on master help sign in
Add test031 to cabal file
d114d39David Christiansen
idris.cabal+3
compare with master
unifiedsplit
@@ -233,6 +233,9 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
233 test/test030/run
233 test/test030/run
234 test/test030/*.idr
234 test/test030/*.idr
235 test/test030/expected
235 test/test030/expected
236+ test/test031/run
237+ test/test031/*.idr
238+ test/test031/expected
236
239
237
240
238source-repository head
241source-repository head