mirror of
https://github.com/edwinb/Idris2-boot.git
synced 2024-09-11 16:05:51 +03:00
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. |
||
---|---|---|
.. | ||
expected | ||
iftype.idr | ||
run |