Configurable var transformers & better ellipsis grouping for Turnstile#11

Open

iitalics wants to merge 4 commits into

stchang:masterfrom

iitalics:turnstile-new-clauses

Commits on Jun 8, 2017

var-transformer configurable thru #:var-stx keyword to (infer ...)
iitalics
committed
rewrote turnstile clause syntax; more intuitive + access to var-stx
iitalics
committed

Commits on Jun 12, 2017

added phase-0 syntax `define-typed-variable-syntax`
iitalics
committed

Commits on Jun 13, 2017

create example linear language + tests
iitalics
committed