Commit graph

4 commits

Author SHA1 Message Date
e59fdc101c
Add agda stylesheet + Mono font 2021-12-12 13:56:54 -06:00
552b6b3892
Hugo commit 2020-11-03 16:14:45 -06:00
Michael Zhang
63fa0d5d09
migrate to gutenberg 2018-08-08 23:53:47 -07:00
Michael Zhang
9fbc74abd4
initial 2018-05-28 07:33:21 -05:00