Commit graph

362 commits

Author SHA1 Message Date
901fb1c005 a 2024-02-05 15:18:35 -06:00
f8e04d7342 install pnpm
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-10-24 14:05:49 -05:00
0adaf0c122 try node 20
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-24 14:05:09 -05:00
da64309feb undraft path induction post
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-24 14:02:45 -05:00
d70327ffb9 tags on home page
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-24 14:00:40 -05:00
4895546226 minor: parameter -> index
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-10-24 11:02:19 -05:00
396e1f5098 not ish
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-10-23 22:22:36 -05:00
025437ca10 more sane date format
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-10-23 21:50:45 -05:00
bd63dba9df use the original names
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-10-23 21:38:28 -05:00
5216167465 path induction post
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-10-23 21:26:47 -05:00
f50ec75e01 comment out all the other build stuff
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-10-12 18:34:57 -05:00
0e0249d113 sad
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-12 17:22:58 -05:00
92c7982c0c wtf 2023-10-11 18:01:49 -05:00
183c998199 z
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 17:43:51 -05:00
fe2377b0b4 z
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 17:43:31 -05:00
0c3659055a z
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 17:42:41 -05:00
8670e8cf7b a
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 17:40:21 -05:00
3e07267470 zz
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 17:38:07 -05:00
9ecc011029 a
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 17:36:46 -05:00
e22340a98d test
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 17:34:34 -05:00
948c982418 add packages
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 17:30:50 -05:00
b33ba945b6 a
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 17:27:56 -05:00
5319b38560 build
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 17:19:13 -05:00
1e5bef0b6f use agda
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 16:17:08 -05:00
efd0b420dd build agda
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 16:16:32 -05:00
11e1601426 builder
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 14:46:16 -05:00
1ff3499e81 rip
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 13:42:22 -05:00
43a56c941a docker shit
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 13:09:15 -05:00
3935a8934c agda fix
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 12:47:18 -05:00
3833a310e0 render agda
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-10-11 11:48:34 -05:00
334e6cb1bf add edit history
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-10-04 09:16:04 -05:00
b36a272815 enable syntax highlighting
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-10-02 17:36:09 -05:00
263ed46253 time to bury this forever 2023-09-21 17:40:43 -05:00
328680c54b equality notes
Some checks failed
ci/woodpecker/push/woodpecker Pipeline was successful
ci/woodpecker/manual/woodpecker Pipeline failed
2023-09-15 01:42:41 -05:00
f9e388eb6e fix ordering issue 2023-09-15 00:35:19 -05:00
109c2997c3 border radius
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-09-08 17:24:51 -05:00
2d7abd47d0 dont be so verbose
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-09-08 05:15:25 -05:00
99e0e5ebab push
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-09-08 05:12:55 -05:00
f497f3536a compiler? 2023-09-08 05:10:52 -05:00
6bb860f61a oops
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-09-01 22:32:18 -05:00
ab1597a28b add utterances
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2023-09-01 22:25:11 -05:00
c4b29c5e6f FUCK
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-09-01 21:38:53 -05:00
60db0faba3 fix width
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-09-01 21:37:13 -05:00
89ece03307 remove prints 2023-09-01 20:59:39 -05:00
a670600ad7 scroll spy
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-09-01 20:59:23 -05:00
e3ded78ba3 make toc look better
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-09-01 19:30:15 -05:00
13d83842aa fix padding again
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-09-01 19:26:23 -05:00
424c056a09 fix padding
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-09-01 19:25:56 -05:00
3bf0200e7e wip toc
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-09-01 12:38:59 -05:00
e94fee5345 latexify
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-09-01 12:05:29 -05:00