]>
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 |