blog-static/content
2020-12-02 18:45:28 -08:00
..
blog Finish up the Coq Advent of Code post. 2020-12-02 18:45:28 -08:00
_index.md Start using description meta. 2020-05-09 17:29:57 -07:00
about.md Update the about page. 2020-07-17 19:39:43 -07:00