Type‑C

🚧 Coming soon

A statically typed language for production software.