michael/blog - Forgejo: Beyond coding. We forge.

Author	SHA1	Message	Date
Michael Zhang	4f88615c31	Update builder Some checks failed ci/woodpecker/push/woodpecker Pipeline failed Details	2024-06-26 19:47:02 -05:00
Michael Zhang	7375f9c81b	agda building! Some checks failed ci/woodpecker/push/woodpecker Pipeline failed Details	2024-06-26 19:17:01 -05:00
Michael Zhang	4b853c6c86	init astro	2023-08-30 19:30:45 -05:00
Michael Zhang	63f2a3b7b4	modify	2021-06-30 01:41:11 -05:00
Michael Zhang	ce0723cd05	Fix broken links	2020-11-03 17:23:50 -06:00