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/reg005
History
Edwin Brady 6fcf861bc1 Change argument unification order 
Solving later arguments first means that they can refer to solutions of
earlier arguments. This isn't really the best solution for ensuring that
metavariables refer to things defined earlier, but it helps, and it does
fix #304.
2020-04-28 11:31:18 +01:00
..
expected Change argument unification order 2020-04-28 11:31:18 +01:00
iftype.idr Look inside definitions during conversion 2020-02-23 15:58:14 +00:00
run Look inside definitions during conversion 2020-02-23 15:58:14 +00:00