Danila Fedorin 8f0f2eb35e Finish up the Coq Advent of Code post.		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