- changed status to resolved
Document the ⊢ function/syntax/thing.
Issue #56
resolved
In the video paper, you use ⊢, which seems to generate reference errors. It seems like it would be a good idea to document it to get rid of those errors.
Comments (1)
-
repo owner - Log in to comment
Documented here I believe, http://docs.racket-lang.org/turnstile/The_Turnstile_Reference.html?#%28form._%28%28lib._turnstile%2Fturnstile..rkt%29._define-typed-syntax%29%29