edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-12-01 06:12:57 +03:00
Code Issues Projects Releases Wiki Activity
46213a903c
Idris2-boot/tests/ttimp/eta002
History
Edwin Brady 46213a903c Store resolved ids in pattern names 
It's only for keeping them unique, so this is both more efficient, and
means we can safely write them out using their resolved ids in the name
map
2019-05-11 13:00:12 +01:00
..
Eta.yaff Support eta in unification 2019-05-07 15:06:00 +01:00
expected Store resolved ids in pattern names 2019-05-11 13:00:12 +01:00
input Support eta in unification 2019-05-07 15:06:00 +01:00
run Support eta in unification 2019-05-07 15:06:00 +01:00