]> Witch of Git - web/blog/history - posts/2020/syntactic-unification.md
projects / web / blog / history
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add a section on the occurs-check
[web/blog] / posts / 2020 / syntactic-unification.md
2020-02-19 Cassie JonesAdd a section on the occurs-check blob | commitdiff | raw
2020-02-18 Cassie JonesAdd syntactic unification post blob | commitdiff | raw | diff to current
The source for my blog.