|
|
3949f19f1f
|
update short bio
ci/woodpecker/push/woodpecker Pipeline was successful
|
2024-07-09 16:16:58 -05:00 |
|
|
|
76ea2d345a
|
undraft
ci/woodpecker/push/woodpecker Pipeline was successful
|
2024-06-29 17:39:27 -05:00 |
|
|
|
06d483b3dd
|
Change the way admonitions work
ci/woodpecker/push/woodpecker Pipeline was successful
|
2024-06-29 15:15:48 -05:00 |
|
|
|
bbfe4f67ca
|
More updates
|
2024-06-29 15:15:42 -05:00 |
|
|
|
9318880a9a
|
Remove allow unused metas
|
2024-06-29 14:53:45 -05:00 |
|
|
|
043b3ebe74
|
new blog post
ci/woodpecker/push/woodpecker Pipeline was successful
|
2024-06-28 20:48:21 -05:00 |
|
|
|
531b33442d
|
boolean equivalences
ci/woodpecker/push/woodpecker Pipeline failed
|
2024-06-28 17:46:08 -05:00 |
|
|
|
e0ff5bf910
|
agda
ci/woodpecker/push/woodpecker Pipeline was successful
|
2024-06-27 00:43:35 -05:00 |
|
|
|
2b4ca03563
|
render primitives
ci/woodpecker/push/woodpecker Pipeline was successful
|
2024-06-27 00:22:46 -05:00 |
|
|
|
b574a929a7
|
Update
ci/woodpecker/push/woodpecker Pipeline failed
|
2024-06-26 20:29:52 -05:00 |
|
|
|
a8f1ce9acd
|
agda plugin
|
2024-06-26 18:18:47 -05:00 |
|
|
|
5635d03e08
|
update bio
ci/woodpecker/manual/woodpecker Pipeline was successful
|
2024-06-21 15:57:44 -05:00 |
|
|
|
4fb464325c
|
update th'bio
ci/woodpecker/push/woodpecker Pipeline was successful
|
2024-06-21 01:09:32 -05:00 |
|
|
|
5d631561b5
|
refactoring post
ci/woodpecker/push/woodpecker Pipeline failed
|
2024-06-21 00:57:37 -05:00 |
|
|
|
dfbdf2d4ff
|
update path
ci/woodpecker/push/woodpecker Pipeline was successful
|
2024-06-11 10:58:14 -04:00 |
|
|
|
3fcaeccf48
|
logical relations
ci/woodpecker/push/woodpecker Pipeline was successful
|
2024-06-11 10:52:37 -04:00 |
|
|
|
d85b7f729f
|
update
|
2024-05-29 13:33:23 -05:00 |
|
|
|
4fc2c3e589
|
Update src/content/posts/2024-05-02-ddr/index.mdx
ci/woodpecker/push/woodpecker Pipeline was successful
|
2024-05-03 18:13:56 +00:00 |
|
|
|
85ce708153
|
update
ci/woodpecker/push/woodpecker Pipeline was successful
|
2024-05-03 06:35:52 -05:00 |
|
|
|
f913eb52e2
|
ddr
|
2024-05-03 06:22:47 -05:00 |
|
|
|
bc8cb94181
|
tmp ignore
ci/woodpecker/push/woodpecker Pipeline was successful
|
2024-05-02 15:51:23 -05:00 |
|
|
|
9bb4c462d8
|
update
|
2024-05-02 15:06:19 -05:00 |
|
|
|
1d48472aa2
|
start ddr post
|
2024-05-02 13:00:04 -05:00 |
|
|
|
1f454d6883
|
lambda calc post
|
2024-04-20 01:14:46 -05:00 |
|
|
|
42cbda6ae1
|
fix the header issue
|
2024-04-20 01:14:46 -05:00 |
|
|
|
d4fe025437
|
typst
|
2024-04-20 01:14:46 -05:00 |
|
|
|
56c95f6051
|
bio
|
2024-04-20 01:14:46 -05:00 |
|
|
|
da64309feb
|
undraft path induction post
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-10-24 14:02:45 -05:00 |
|
|
|
4895546226
|
minor: parameter -> index
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-10-24 11:02:19 -05:00 |
|
|
|
396e1f5098
|
not ish
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-10-23 22:22:36 -05:00 |
|
|
|
bd63dba9df
|
use the original names
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-10-23 21:38:28 -05:00 |
|
|
|
5216167465
|
path induction post
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-10-23 21:26:47 -05:00 |
|
|
|
0e0249d113
|
sad
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-10-12 17:22:58 -05:00 |
|
|
|
3833a310e0
|
render agda
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-10-11 11:48:34 -05:00 |
|
|
|
263ed46253
|
time to bury this forever
|
2023-09-21 17:40:43 -05:00 |
|
|
|
328680c54b
|
equality notes
ci/woodpecker/push/woodpecker Pipeline was successful
ci/woodpecker/manual/woodpecker Pipeline failed
|
2023-09-15 01:42:41 -05:00 |
|
|
|
f497f3536a
|
compiler?
|
2023-09-08 05:10:52 -05:00 |
|
|
|
ab1597a28b
|
add utterances
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-09-01 22:25:11 -05:00 |
|
|
|
c4b29c5e6f
|
FUCK
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-09-01 21:38:53 -05:00 |
|
|
|
60db0faba3
|
fix width
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-09-01 21:37:13 -05:00 |
|
|
|
3bf0200e7e
|
wip toc
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-09-01 12:38:59 -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 |
|
|
|
5ecc5f8eed
|
update
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-09-01 09:24:12 -05:00 |
|
|
|
b47c8ffae3
|
cek post revive
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-09-01 09:16:36 -05:00 |
|
|
|
0ef4b692e4
|
networking?
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 23:15:54 -05:00 |
|
|
|
2a1ebcf251
|
intro
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 22:38:49 -05:00 |
|
|
|
edcbc68af3
|
changes
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 22:29:45 -05:00 |
|
|
|
6468b29dd7
|
minor edits
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 22:25:25 -05:00 |
|
|
|
f3d89cfb61
|
more changes
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-08-31 21:52:21 -05:00 |
|
