Alma

A strongly-typed imperative programming language with constraints and quantifiers. It is an extension of a subset of Modula-2. It supports declarative programming ideas.

This page is linked from: Dynamo