Commit graph

7 commits

Author SHA1 Message Date
f852b5f1a5 upgrade to astro 5.0 2024-12-27 03:41:59 -05:00
7375f9c81b agda building! 2024-06-26 19:17:01 -05:00
0e0249d113 sad 2023-10-12 17:22:58 -05:00
3833a310e0 render agda 2023-10-11 11:48:34 -05:00
4b853c6c86 init astro 2023-08-30 19:30:45 -05:00
e31a8ba367 add rss feed 2023-03-26 14:32:54 -05:00
0a6e73df19 layout upd 2023-02-04 01:21:21 -06:00