Cure v0.2.0 - Verification-First Programming for the BEAM
cure-lang.org
Cure v0.2.0: A strongly-typed, dependently-typed programming language for the BEAM with built-in FSMs, SMT verification, and 12 standard library modules