edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-09-11 16:05:51 +03:00
Code Issues Projects Releases Wiki Activity
master
Idris2-boot/tests/idris2/reg016
History
MarcelineVQ 896cd486d1 update 'using' regression test 
have implementation 'using' regression test also check for multiple named implementations
2020-04-22 16:53:02 -07:00
..
expected Shuffle some tests around 2020-04-21 12:03:49 +01:00
run Shuffle some tests around 2020-04-21 12:03:49 +01:00
Using.idr update 'using' regression test 2020-04-22 16:53:02 -07:00