Mercury Programming

is a functional logic programming language geared towards real-world applications.

Table of contents

 * Types