 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
ci/woodpecker/push/woodpecker Pipeline failed
Details
|
2023-10-12 17:22:58 -05:00 |
|
Michael Zhang
|
3935a8934c
|
agda fix
ci/woodpecker/push/woodpecker Pipeline failed
Details
|
2023-10-11 12:47:18 -05:00 |
|
Michael Zhang
|
3833a310e0
|
render agda
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
ci/woodpecker/push/woodpecker Pipeline was successful
Details
|
2023-09-01 10:12:29 -05:00 |
|
Michael Zhang
|
8e1fac9bd5
|
admonitions
ci/woodpecker/push/woodpecker Pipeline was successful
Details
|
2023-09-01 10:09:01 -05:00 |
|
Michael Zhang
|
4a89b35ba3
|
ok kinda working
ci/woodpecker/push/woodpecker Pipeline failed
Details
|
2023-08-31 03:07:03 -05:00 |