- changed status to resolved
should all syntax template positions be quasisyntax?
Issue #37
resolved
Should all syntax template positions in Turnstile be quasisyntax? Currently only the conclusion uses quasisyntax I believe.
Comments (1)
-
reporter - Log in to comment
This is mostly true now.