Skip to content

clean: remove TermForm and unify terms

d00902b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Allow unification between terms #78

clean: remove TermForm and unify terms
d00902b
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
Label
succeeded Mar 26, 2026 in 7s