ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-23 06:57:15 +03:00
Code Issues Projects Releases Wiki Activity
afef29e420
Idris-dev/test/test015
History
raichoo 2311d55013 rename O into Z
2013-07-26 21:05:47 +02:00
..
expected Deal with shadowing better in patterns 2012-10-07 21:36:09 +01:00
Parity.idr rename O into Z 2013-07-26 21:05:47 +02:00
run Add argument passing to new tests 2012-11-13 11:19:27 +00:00
test015.idr rename O into Z 2013-07-26 21:05:47 +02:00