Add a section on the occurs-check
[web/blog] / posts / 2020 /
drwxr-xr-x   ..
-rw-r--r-- 10389 hosting-my-own-git.md
-rw-r--r-- 10789 syntactic-unification.md