Erlang Meets Idris: Cure Programming Language

Cure – Verification-First Programming for the Beam