]> Witch of Git - web/blog/summary
 
descriptionThe source for my blog.
last changeMon, 7 Feb 2022 01:52:26 +0000 (20:52 -0500)
shortlog
2022-02-07 Cassie JonesMake webrings sort by title blog
2022-02-07 Cassie JonesUpdate eleventy version
2022-02-07 Cassie JonesAdd friend webring stamps
2022-02-07 Cassie JonesAdd friends webring
2020-11-26 Cassie JonesFix some issues in the unification article
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
...
heads
2 years ago blog