feat: plan 13 source formatter and API documentation - #34

Merged

MicroProofs merged 19 commits into

mainfrom

Sep 27, 2026

Commits on Sep 26, 2026

feat(parse): preserve comments and documentation
MicroProofs
committed
551b5d9
feat(fmt): add source formatter and check diffs
MicroProofs
committed
fd56cc6
fix(fmt): keep short expressions compact
MicroProofs
committed
27d64a2
test(driver): remove integer-width benchmark
MicroProofs
committed
4c49ead
fix(cli): format files concurrently with Tokio
MicroProofs
committed
0cfd85a
fix(fmt): refine signatures and exposing layout
MicroProofs
committed
bc3d00c
feat(docs): extract public API documentation
MicroProofs
committed
4858f59
feat(docs): render searchable API documentation
MicroProofs
committed
d87929e
test: remove completed performance experiments
MicroProofs
committed
44e2241
fix(codegen): tighten case lowering and coverage
MicroProofs
committed
26011da
docs: plan explicit dispatch and Big tags
MicroProofs
committed
665de1c
docs: reconcile macro plan and pattern proposals
MicroProofs
committed
9006dae
docs: require structured macro invocation forms
MicroProofs
committed
fc3502d
docs: start optimizer with ANF normalization
MicroProofs
committed
2f29c44
docs: optimize before recursion rewrite
MicroProofs
committed
55e585f
docs: plan single-field pair projections
MicroProofs
committed
84c88dc
fix(plutus): decode Flat terms iteratively
MicroProofs
committed
70a160a
feat(base): add native map and specialize Eq
MicroProofs
committed
4a3ec22
refactor(base): move boolean helpers to Logic
MicroProofs
committed
7714903