Fergus Henderson 20c692f5c1 Some simple explanations of our jargon.

1994-04-20 14:55:13 +00:00

..

AUTHORS

…

COMPILER_DESIGN

Update the documentation.

1994-04-19 08:37:19 +00:00

GLOSSARY

Some simple explanations of our jargon.

1994-04-20 14:55:13 +00:00

IMPLICIT_QUANTIFICATION

Added a note describing the rules for implicit quantification in Mercury.

1994-03-17 15:42:01 +00:00

macro_notes

…

MODULE_SYSTEM

…

TODO

Update the documentation.

1994-04-19 08:37:19 +00:00

TYPES

Rewritten. The old one was obsolete.

1994-04-12 15:15:05 +00:00