Skip to content

EXPERIMENT: produce Expr directly for Verso docs instead of term syntax#453

Draft
david-christiansen wants to merge 4 commits into
mainfrom
more-elab
Draft

EXPERIMENT: produce Expr directly for Verso docs instead of term syntax#453
david-christiansen wants to merge 4 commits into
mainfrom
more-elab

Commits

Commits on Jun 20, 2025

Commits on Jun 23, 2025

Commits on Jun 25, 2025