|
|
9d073a0be6
|
update saturation
ci/woodpecker/push/woodpecker Pipeline was successful
|
2024-09-14 23:40:35 -05:00 |
|
|
|
126f3357bb
|
update the warning box color
ci/woodpecker/push/woodpecker Pipeline was successful
|
2024-09-14 23:36:52 -05:00 |
|
|
|
06d483b3dd
|
Change the way admonitions work
ci/woodpecker/push/woodpecker Pipeline was successful
|
2024-06-29 15:15:48 -05:00 |
|
|
|
85c10d012b
|
fix agda colors
ci/woodpecker/push/woodpecker Pipeline was successful
|
2024-06-27 10:27:22 -05:00 |
|
|
|
565de50eb3
|
change colors
|
2024-04-20 01:14:46 -05:00 |
|
|
|
d70327ffb9
|
tags on home page
ci/woodpecker/push/woodpecker Pipeline failed
|
2023-10-24 14:00:40 -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 |
|
|
|
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 |
|
