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

Author	SHA1	Message	Date
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	e0ff5bf910	agda All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2024-06-27 00:43:35 -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