13 commits

Author	SHA1	Message	Date
Michael Zhang	ad17aefc9c	Change to list so it still reads ok on text-only browsers	2023-02-04 01:21:20 -06:00
Michael Zhang	648ed87a91	New home page	2022-01-24 18:35:39 -06:00
Michael Zhang	2690a09aa7	Also use monofont for inline code elements	2021-12-12 13:59:56 -06:00
Michael Zhang	e59fdc101c	Add agda stylesheet + Mono font	2021-12-12 13:56:54 -06:00
Michael Zhang	b04175954b	new post	2021-08-30 02:52:21 -05:00
Michael Zhang	eae8265313	projs	2021-07-06 17:27:33 -05:00
Michael Zhang	8c1ee0d40e	upd	2021-07-06 16:57:42 -05:00
Michael Zhang	849c0c3bb6	upd	2021-07-06 15:58:39 -05:00
Michael Zhang	99523573f4	draft	2021-07-06 00:52:05 -05:00
Michael Zhang	63f2a3b7b4	modify	2021-06-30 01:41:11 -05:00
Michael Zhang	4375e85777	make the blockquote wider	2021-06-30 01:03:00 -05:00
Michael Zhang	2c055b0ad3	change some css	2021-05-04 07:02:15 -05:00
Michael Zhang	552b6b3892	Hugo commit	2020-11-03 16:14:45 -06:00