Skip to content

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

Draft
david-christiansen wants to merge 4 commits intomainfrom
more-elab
Draft

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

Commits

Commits on Jun 20, 2025

Commits on Jun 23, 2025

Commits on Jun 25, 2025