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/reg018
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
..
cycle.idr Change argument unification order 2020-04-28 11:31:18 +01:00
expected Change argument unification order 2020-04-28 11:31:18 +01:00
run Change argument unification order 2020-04-28 11:31:18 +01:00