ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-14 03:14:14 +03:00
Code Issues Projects Releases Wiki Activity
2d22462fd8
Idris-dev/test/reg039
History
Melvar Chen 1f67546bc0 Fix test reg039 and add it to idris.cabal
2014-04-15 13:26:39 +02:00
..
expected Regression test for infinite regress in executor 2014-04-07 09:17:55 +02:00
reg039.idr Regression test for infinite regress in executor 2014-04-07 09:17:55 +02:00
run Fix test reg039 and add it to idris.cabal 2014-04-15 13:26:39 +02:00