__  __ ___ ___ _
  | |/ / ___/   | |
  | / / /  / _| | |
 /   / /__/ __  | |__                                     Version: 1.1.12
/_/|_\___/_/  |_|___/                                     Author: Ryan M. Engel
_______________________________________________________________________________

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

Built on quantitative type theory, XCAL provides 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.

XCAL is short for Excalibur, the mythic sword that wields itself only for the worthy. The compiler applies the same test, refusing programs that do not demonstrate their own consistency.