]> 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 debug command to the Justfile
[web/blog] / posts / 2020 / syntactic-unification.md
2020-11-26 Cassie JonesFix some issues in the unification article blob | commitdiff | raw
2020-03-09 Cassie JonesFix a missing argument in "Syntactic Unification" blob | commitdiff | raw | diff to current
2020-02-20 Cassie JonesYou don't spell "unify" as "uninfy" blob | commitdiff | raw | diff to current
2020-02-20 Cassie JonesClarify the first sentence of the unification post blob | commitdiff | raw | diff to current
2020-02-19 Cassie JonesAdd a section on the occurs-check blob | commitdiff | raw | diff to current
2020-02-18 Cassie JonesAdd syntactic unification post blob | commitdiff | raw | diff to current
The source for my blog.