Michael Zhang 2496ba67f6 convert link		2024-10-19 17:33:38 -05:00
..
assets	new pic who dis	2024-07-22 13:31:07 -05:00
components	upload talk post	2024-10-19 17:12:39 -05:00
content	convert link	2024-10-19 17:33:38 -05:00
data	update github	2024-10-15 15:50:17 -05:00
layouts	image :)	2024-09-18 06:54:28 -05:00
pages	update github	2024-10-15 15:50:17 -05:00
styles	make the title image redirect to about	2024-09-20 12:53:27 -05:00
consts.ts	sad	2023-10-12 17:22:58 -05:00
env.d.ts	init astro	2023-08-30 19:30:45 -05:00
Prelude.agda	new blog post	2024-06-28 20:48:21 -05:00