lukeed/tidyPublic

History fortests/oracle/markdown

Commits on November 3, 2026

style: format with tidy
LELuke Edwardscommitted8 days ago
e1b12d8
fix: format generated docs
LELuke Edwardscommitted8 days ago
7ae92bd
docs: move docs into docs/
LELuke Edwardscommitted8 days ago
39a9363

Commits on November 1, 2026

docs: markdown notes
LELuke Edwardscommitted10 days ago
20668cd
chore: merge markdown fixes
LELuke Edwardscommitted10 days ago
935d17f
fix: fill after tall atoms
LELuke Edwardscommitted10 days ago
bee6fa5
fix: unindent wrapless notes
LELuke Edwardscommitted10 days ago
69ee0d0
chore: markdown oracles
LELuke Edwardscommitted10 days ago
5dfed6e
fix: drop nested list blanks
LELuke Edwardscommitted10 days ago
dbd119a
chore: add divergence oracle
LELuke Edwardscommitted10 days ago
3f028a2
chore: add wrap to prettier oracle
LELuke Edwardscommitted10 days ago
b03754d
chore: add oracle scripts
LELuke Edwardscommitted11 days ago
9a18314