Skip to content

experiment with HITs and rewritng rules#2098

Draft
Alizter wants to merge 2 commits intoHoTT:masterfrom Alizter:experiment-hit-rewriting

Commits

Commits on Sep 21, 2024