Halis: A Self‑Hosting Systems Language Built Around Safety

Halis is a systems programming language that enforces safety by default, eliminating common bugs and offering formal verification tools.