projects / web / blog / history
| 2020-11-26 | Cassie Jones | Fix some issues in the unification article | tree | commitdiff |
| 2020-03-09 | Cassie Jones | Fix a missing argument in "Syntactic Unification" | tree | commitdiff |
| 2020-02-20 | Cassie Jones | You don't spell "unify" as "uninfy" | tree | commitdiff |
| 2020-02-20 | Cassie Jones | Clarify the first sentence of the unification post | tree | commitdiff |
| 2020-02-20 | Cassie Jones | Update some syntax highlighting | tree | commitdiff |
| 2020-02-19 | Cassie Jones | Add a section on the occurs-check | tree | commitdiff |
| 2020-02-18 | Cassie Jones | Add syntactic unification post | tree | commitdiff |
| 2020-02-18 | Cassie Jones | Fix broken Let's Encrypt link | tree | commitdiff |
| 2020-02-18 | Cassie Jones | Write a post about how I do my Git hosting | tree | commitdiff |