allow arbitrary number of tyenvs to the left of turnstile

Open stchang opened this issue 7 years ago • 0 comments

relevant: https://github.com/stchang/macrotypes/commit/153d1ab0152ff8f0d15cadf89ce7baea5c5d53cb

May 01 '18 18:05 stchang