Branch | Commit message | Author | Age | |
---|---|---|---|---|
main | remove CI config | Aria Shrimpton | 8 months | |
Age | Commit message | Author | ||
2024-04-01 | remove CI configHEADmain | Aria Shrimpton | ||
2024-04-01 | remove unused scripts | Aria Shrimpton | ||
2024-04-01 | more repro stuff | Aria Shrimpton | ||
2024-04-01 | suggestions from cosmo | Aria Shrimpton | ||
2024-04-01 | redraft #2 | Aria Shrimpton | ||
2024-03-31 | vendor racket dependencies | Aria Shrimpton | ||
2024-03-31 | fix overfull hbox errors | Aria Shrimpton | ||
2024-03-31 | redraft #1 | Aria Shrimpton | ||
2024-03-31 | font size fix | Aria Shrimpton | ||
2024-03-31 | some code cleanup | Aria Shrimpton | ||
[...] | ||||
Clone | ||||
https://code.aria.rip/dissertation |