ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-21 22:17:19 +03:00
Code Issues Projects Releases Wiki Activity
48fd8429d9
Idris-dev/test/sugar005
History
David Raymond Christiansen 48fd8429d9 Better test for @-_-desugaring
2015-01-10 17:58:59 -08:00
..
As.idr Better test for @-_-desugaring 2015-01-10 17:58:59 -08:00
expected Better test for @-_-desugaring 2015-01-10 17:58:59 -08:00
run Replace _ patterns with fresh variables under @-patterns 2015-01-10 17:13:00 -08:00