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

Author	SHA1	Message	Date
Michael Zhang	7a1b2b9787	trying to get typst rendering working for svgs Some checks failed ci/woodpecker/push/woodpecker Pipeline failed Details	2024-09-26 18:09:45 -05:00
Michael Zhang	c9c6365c87	fix inner links All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2024-09-18 16:22:37 -05:00
Michael Zhang	37d59e6927	more wip All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2024-09-18 06:01:37 -05:00
Michael Zhang	71cf0079dc	start hcomp post All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2024-09-18 04:47:52 -05:00
Michael Zhang	16c5e3ab81	wip Some checks failed ci/woodpecker/push/woodpecker Pipeline failed Details	2024-09-15 19:38:05 -05:00
Michael Zhang	06d483b3dd	Change the way admonitions work All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2024-06-29 15:15:48 -05:00
Michael Zhang	043b3ebe74	new blog post All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2024-06-28 20:48:21 -05:00
Michael Zhang	531b33442d	boolean equivalences Some checks failed ci/woodpecker/push/woodpecker Pipeline failed Details	2024-06-28 17:46:08 -05:00
Michael Zhang	2b4ca03563	render primitives All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2024-06-27 00:22:46 -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	a8f1ce9acd	agda plugin	2024-06-26 18:18:47 -05:00
Michael Zhang	1f454d6883	lambda calc post	2024-04-20 01:14:46 -05:00
Michael Zhang	d4fe025437	typst	2024-04-20 01:14:46 -05:00
Michael Zhang	0e0249d113	sad Some checks failed ci/woodpecker/push/woodpecker Pipeline failed Details	2023-10-12 17:22:58 -05:00
Michael Zhang	3935a8934c	agda fix Some checks failed ci/woodpecker/push/woodpecker Pipeline failed Details	2023-10-11 12:47:18 -05:00
Michael Zhang	3833a310e0	render agda Some checks failed ci/woodpecker/push/woodpecker Pipeline failed Details	2023-10-11 11:48:34 -05:00
Michael Zhang	49cfb3ccc4	no extra padding on left on mobile All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2023-09-01 10:12:29 -05:00
Michael Zhang	8e1fac9bd5	admonitions All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2023-09-01 10:09:01 -05:00
Michael Zhang	4a89b35ba3	ok kinda working Some checks failed ci/woodpecker/push/woodpecker Pipeline failed Details	2023-08-31 03:07:03 -05:00

19 commits