]> Witch of Git - web/blog/commit
Add a section on the occurs-check
authorCassie Jones <code@witchoflight.com>
Wed, 19 Feb 2020 15:12:31 +0000 (16:12 +0100)
committerCassie Jones <code@witchoflight.com>
Wed, 19 Feb 2020 15:12:31 +0000 (16:12 +0100)
commit8a8b5168cfa2b2b3ec3973ca996d758dfe8a763c
tree8c066b5fda69233520b2d53ba5f70ffddbf0664e
parent67e9f82c94b25599c59b273b081f8ce4b92f0794
Add a section on the occurs-check
posts/2020/syntactic-unification.md