The GimML Reference Manual
version 1.0

Jean Goubault-Larrecq

July 5, 2021

Abstract

This is the GimML reference manual. GimML is a close variant of the Standard ML language, with set-theoretic types, data structures and operators, and an extendible physical unit system.

Keywords: ML, sets, physical units.

Résumé

Ceci est le manuel de référence de GimML. GimML est une proche variante du langage Standard ML, avec des types, des structures de données et des opérateurs ensemblistes, et un système d’unités physiques extensible.

Mots-clés : ML, ensembles, unités physiques.

Copyright (c) 2021 Jean Goubault-Larrecq and Universit Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Mthodes Formelles, 91190, Gif-sur-Yvette, France.
Bison parser generator Copyright (c) 1986 Free Software Foundation, Inc.
Linenoise line editing facilities Copyright (c) 2010-2016 Salvatore Sanfilippo, Copyright (c) 2010-2013 Pieter Noordhuis