Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
4 check-ins using file bs/sema/uni-context.h version 0f3cf64b45
|
2018-12-25
| ||
| 21:04 | Unification: implement "half-unification" sub algorithm which enumerates all possible solutions contained in an expression, counts their respective scores, and add dependency for any contained hole. check-in: edbc0edea1 user: achavasse tags: trunk | |
|
2018-12-17
| ||
| 14:52 | Removed an incorrect TODO comment, replaced it with a note epxlaining why it isn't needed. check-in: 6bf68ec339 user: achavasse tags: trunk | |
| 14:46 | Unify: when unifying vectors, add 1 to the complexity score. check-in: 0873b8357c user: achavasse tags: trunk | |
| 14:39 | Refactored unify as a generator that can yield multiple solutions, along with a score to order them. check-in: f764dd2384 user: achavasse tags: trunk | |