Skip to content

Coupling step 2: my-lang surface → verified QTT core (surface engine + ast bridge)#117

Merged
hyperpolymath merged 2 commits into
mainfrom
claude/dreamy-hypatia-O8XHo
Jun 18, 2026
Merged

Coupling step 2: my-lang surface → verified QTT core (surface engine + ast bridge)#117
hyperpolymath merged 2 commits into
mainfrom
claude/dreamy-hypatia-O8XHo

feat(my-lang/qtt_bridge): lower real ast::Expr onto the verified QTT …

48e5a86
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar