The Programming Languages Zoo

A potpourri of programming languages

sub

[source] [example]

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.