21 commits

Author	SHA1	Message	Date
Michael Zhang	06d483b3dd	Change the way admonitions work	2024-06-29 15:15:48 -05:00
Michael Zhang	2b4ca03563	render primitives	2024-06-27 00:22:46 -05:00
Michael Zhang	38e2a8cec5	Update dependencies	2024-06-26 19:42:02 -05:00
Michael Zhang	7375f9c81b	agda building!	2024-06-26 19:17:01 -05:00
Michael Zhang	9bb4c462d8	update	2024-05-02 15:06:19 -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	2023-10-12 17:22:58 -05:00
Michael Zhang	3935a8934c	agda fix	2023-10-11 12:47:18 -05:00
Michael Zhang	3833a310e0	render agda	2023-10-11 11:48:34 -05:00
Michael Zhang	334e6cb1bf	add edit history	2023-10-04 09:16:04 -05:00
Michael Zhang	b36a272815	enable syntax highlighting	2023-10-02 17:36:09 -05:00
Michael Zhang	e94fee5345	latexify	2023-09-01 12:05:29 -05:00
Michael Zhang	8e1fac9bd5	admonitions	2023-09-01 10:09:01 -05:00
Michael Zhang	4a03a76348	more opengraph metadata	2023-09-01 07:59:21 -05:00
Michael Zhang	0ef4b692e4	networking?	2023-08-31 23:15:54 -05:00
Michael Zhang	b29d3dda82	mermaid	2023-08-31 19:10:20 -05:00
Michael Zhang	0c2ac5e521	logseq post	2023-08-31 10:33:14 -05:00
Michael Zhang	c478116f88	fill in site	2023-08-31 03:17:02 -05:00
Michael Zhang	4a89b35ba3	ok kinda working	2023-08-31 03:07:03 -05:00
Michael Zhang	43c5a8f70c	progress	2023-08-30 22:47:22 -05:00