__  __ ___ ___ _
  | |/ / ___/   | |
  | / / /  / _| | |
 /   / /__/ __  | |__               Version: 1.0.0
/_/|_\___/_/  |_|___/            Author: Ryan M. Engel
_____________________________________________________________

The official XCAL compiler -- a purely functional, formally verified systems programming language.

XCAL is built on Quantitative Type Theory (QTT), providing verified type checking, linear memory management, and zero runtime overhead. The compiler is written in C++17 with a type-checking kernel formalized in Coq and extracted to C via CertiCoq.

The name XCAL derives from Excalibur -- the legendary sword that could only be wielded by its rightful bearer. In XCAL, linear types enforce the same discipline: every resource has exactly one owner, and ownership is the proof of the right to use it.