|
55ec917eb8
|
make stuff line up more
ci/woodpecker/push/woodpecker Pipeline was successful
|
2024-09-20 13:12:58 -05:00 |
|
|
06d483b3dd
|
Change the way admonitions work
ci/woodpecker/push/woodpecker Pipeline was successful
|
2024-06-29 15:15:48 -05:00 |
|
|
2b4ca03563
|
render primitives
ci/woodpecker/push/woodpecker Pipeline was successful
|
2024-06-27 00:22:46 -05:00 |
|
|
38e2a8cec5
|
Update dependencies
|
2024-06-26 19:42:02 -05:00 |
|
|
7375f9c81b
|
agda building!
ci/woodpecker/push/woodpecker Pipeline failed
|
2024-06-26 19:17:01 -05:00 |
|
|
9bb4c462d8
|
update
|
2024-05-02 15:06:19 -05:00 |
|
|
1f454d6883
|
lambda calc post
|
2024-04-20 01:14:46 -05:00 |
|
|
d4fe025437
|
typst
|
2024-04-20 01:14:46 -05:00 |
|
|
0e0249d113
|
sad
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-10-12 17:22:58 -05:00 |
|
|
3935a8934c
|
agda fix
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-10-11 12:47:18 -05:00 |
|
|
3833a310e0
|
render agda
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-10-11 11:48:34 -05:00 |
|
|
334e6cb1bf
|
add edit history
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-10-04 09:16:04 -05:00 |
|
|
b36a272815
|
enable syntax highlighting
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-10-02 17:36:09 -05:00 |
|
|
e94fee5345
|
latexify
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-09-01 12:05:29 -05:00 |
|
|
8e1fac9bd5
|
admonitions
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-09-01 10:09:01 -05:00 |
|
|
4a03a76348
|
more opengraph metadata
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-09-01 07:59:21 -05:00 |
|
|
0ef4b692e4
|
networking?
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 23:15:54 -05:00 |
|
|
b29d3dda82
|
mermaid
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 19:10:20 -05:00 |
|
|
0c2ac5e521
|
logseq post
|
2023-08-31 10:33:14 -05:00 |
|
|
c478116f88
|
fill in site
|
2023-08-31 03:17:02 -05:00 |
|
|
4a89b35ba3
|
ok kinda working
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-08-31 03:07:03 -05:00 |
|
|
43c5a8f70c
|
progress
|
2023-08-30 22:47:22 -05:00 |
|