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

Make manual buildable

a336a39
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs