Unification using unification-fd - #140

Closed

chrisdone-artificial wants to merge 5 commits into

mainfrom

cd/2026-08-15-unfication-fd-take-2

Commits on Aug 15, 2026

Add unification-fd to package.yaml
Your Name
committed
8ea5a67
Add basic bijection to/from FD.UTerm
Your Name
committed
4604cf4

Commits on Aug 16, 2026

unification-fd based unifier:
Your Name
committed
1bc6ea3

Commits on Aug 17, 2026

Cleanup warnings
Your Name
committed
23c35e5
Drop old commentary
Your Name
committed
8703863