should all syntax template positions be quasisyntax?

Issue #37 resolved
Stephen Chang repo owner created an issue

Should all syntax template positions in Turnstile be quasisyntax? Currently only the conclusion uses quasisyntax I believe.

Comments (1)

  1. Log in to comment