core

A programming language with semantic IR as the single source of truth, built-in formal verification, and dataflow concurrency.