idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2025-01-05 23:18:06 +03:00
Code Issues Projects Releases Wiki Activity
1dbc9a7143
Idris2/tests/idris2/interactive035
History
Edwin Brady 4ef29da87e Fix expression search on already solved holes 
If it's solved by unification, expression search should just print the
unified value. In fact it almost did this, but wasn't reducing the holes
so the result was being rendered incorrectly.
2021-06-23 00:59:26 +01:00
..
expected Fix expression search on already solved holes 2021-06-23 00:59:26 +01:00
input Fix expression search on already solved holes 2021-06-23 00:59:26 +01:00
run Fix expression search on already solved holes 2021-06-23 00:59:26 +01:00
unify.idr Fix expression search on already solved holes 2021-06-23 00:59:26 +01:00