EXPERIMENT: typed syntax as the target of doc elaboration - #692

Draft

robsimmons wants to merge 8 commits into

Commits on Dec 28, 2025

feat: allow block elaboration to target a typed syntax
robsimmons
committed
f90542a
Back out of some changes due to level of namespace conflicts
robsimmons
committed
052dcb4
add markdown test and fix it
robsimmons
committed
c078470
diff minimization
robsimmons
committed
53b60a4
diff minimization
robsimmons
committed
cbffafa
diff minimization
robsimmons
committed
f72ffc4
diff minimization
robsimmons
committed
231754b
Remove more deprecation warnings
robsimmons
committed
8b74f1f