tlang v1.0.0 — a programming language based on type-theory and invariants with minimal assumptions

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