descriptionThe source for my blog.
last changeThu, 26 Nov 2020 20:36:12 +0000 (15:36 -0500)
2020-11-26 Cassie JonesFix some issues in the unification article blog
2020-11-26 Cassie JonesOptimize favicon PNGs
2020-03-24 Cassie JonesDon't use a local path for syntax highlighting
2020-03-09 Cassie JonesFix a missing argument in "Syntactic Unification"
2020-02-20 Cassie JonesYou don't spell "unify" as "uninfy"
2020-02-20 Cassie JonesClarify the first sentence of the unification post
2020-02-20 Cassie JonesUpdate some syntax highlighting
2020-02-20 Cassie JonesFix some small wording changes
2020-02-19 Cassie JonesAdd a section on the occurs-check
2020-02-19 Cassie JonesAdd anchors to headings, typography tweaks
2020-02-18 Cassie JonesAvoid calc(700px + 9em) in media queries
2020-02-18 Cassie JonesAdd syntactic unification post
2020-02-18 Cassie JonesUpdate copyright to 2020
2020-02-18 Cassie JonesFix broken Let's Encrypt link
2020-02-18 Cassie JonesWrite a post about how I do my Git hosting
2020-01-18 Cassie JonesHide animated GIF stamps if "reduce motion" is on
9 months ago blog