typeck-lang v0.2.0 — Profile-driven type checking over HIR: dynamic, gradual, static, and Hindley-Milner from one checker.

Sign in to join the discussion — your thebay.events account works here.