{ℷ} GimML is an implementation of a variant of the functional imperative higher-order language Standard ML, with native set and map operations. A short description was published at the ML workshop in 1994. (The name of the language was different then, but the acronym means the same: GimML is a map-oriented ML.)

Look here for a preview of some of GimML’s most salient features.

Download GimML 1.0

Precompiled packages:

You may also wish to compile directly from the sources. Here is the list of tools included in the GimML distribution.



The H1 tool suite was (almost) entirely written in GimML.

Jean Goubault-Larrecq.