idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2025-01-08 08:52:22 +03:00
Code Issues Projects Releases Wiki Activity
3e92863e1c
Idris2/tests/idris2/interface027
History
Edwin Brady 86c75bae2c Add test for interfaces in parameter blocks 
I thought these didn't work. Apparently they do. I should find out when
that happened because it might have been a side effect of something
else!
2021-07-10 20:15:50 +01:00
..
expected Add test for interfaces in parameter blocks 2021-07-10 20:15:50 +01:00
input Add test for interfaces in parameter blocks 2021-07-10 20:15:50 +01:00
params.idr Add test for interfaces in parameter blocks 2021-07-10 20:15:50 +01:00
run Add test for interfaces in parameter blocks 2021-07-10 20:15:50 +01:00