An eager purely functional language with records and subtypes. The language has integers, booleans, recursive functions, and immutable records.
The file example.sub defines addition and conjugation of complex numbers.
example.sub