turnstile-plus is an actively used grammar language created in 2020. We present Turnstile+, a metalanguage for implementing typed—particularly dependently typed—languages.

0Years Old ?Users ?Jobs
  • turnstile-plus first appeared in 2020
  • Have a question about turnstile-plus not answered here? Email me and let me know how I can help.

Last updated June 22nd, 2020

Edit turnstile-plus on GitHub