edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-12-11 06:41:04 +03:00
Code Issues Projects Releases Wiki Activity
0fa61f7c4f
Idris2-boot/tests/ttimp/basic005
History
Edwin Brady c4d7e18742 Extend unification so that Functors work 
Need to identify invertible (or cancellable) holes so that we can unify
e.g. ?f Nat with List Nat and get f = List.
2019-05-26 18:41:48 +01:00
..
Ambig.yaff Extend unification so that Functors work 2019-05-26 18:41:48 +01:00
expected Use updated NF for delayed elaborators 2019-05-11 22:23:50 +01:00
input Use updated NF for delayed elaborators 2019-05-11 22:23:50 +01:00
run First go at ambiguous name resolution 2019-05-11 20:50:51 +01:00