Draft: Use new redesigned TermInterface#174

Closed

0x0f0f0f wants to merge 7 commits intomasterfrom

Commits on Dec 5, 2023

add things
a
committed
make classical rewriting work
a
committed
make more tests passa
a
committed
make all tests
a
committed
TI version bump
a
committed

Commits on Dec 6, 2023

rename
a
committed
remove leftovers
a
committed