Witch of Git - web/blog/history - posts/2020/syntactic-unification.md

]> Witch of Git - web/blog/history - posts/2020/syntactic-unification.md

2020-11-26	Cassie Jones	Fix some issues in the unification article	blob \| commitdiff \| raw
2020-03-09	Cassie Jones	Fix a missing argument in "Syntactic Unification"	blob \| commitdiff \| raw \| diff to current
2020-02-20	Cassie Jones	You don't spell "unify" as "uninfy"	blob \| commitdiff \| raw \| diff to current
2020-02-20	Cassie Jones	Clarify the first sentence of the unification post	blob \| commitdiff \| raw \| diff to current
2020-02-19	Cassie Jones	Add a section on the occurs-check	blob \| commitdiff \| raw \| diff to current
2020-02-18	Cassie Jones	Add syntactic unification post	blob \| commitdiff \| raw \| diff to current

The source for my blog.