...tex2html_comment_mark^1.1

This version is many sorted, in that there may be several types of basic individuals. Moreover, it is multivariate, in that a function may take more than one argument. Currying is not required. However, taking (possibly n-ary) functions is the only type-forming operation.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... LUTINS,^1.2

Pronounced as in French. See [4,5,7] for studies of logical issues associated with LUTINS; see [16] for a detailed description of its syntax and semantics.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...tex2html_comment_mark^1.3

Macete, in Portuguese, means a chisel, or in informal usage, a clever trick.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... 19^3.1

This is the preferred version of Emacs.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... manual ^3.2

The IMPS manual is the document you are looking at.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...tex2html_comment_mark^5.1

A macete, meaning a clever trick in Portuguese slang, is a lemma or group of lemmas made available to the user for various kinds of rewriting depending on syntactic form.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...LUTINS^7.1

Pronounced as the word in French.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...[16]^7.2

In [16], LUTINS is called PF.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... quasi-equals^10.1

quasi-equals is written as == in the string syntax and as $\simeq$ in the mathematics syntax, infixed between its operands.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... order^12.1

Given the way scripts are usually presented on a page this really means from top to bottom.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... macetes.^14.1

In Portuguese, a macete is an ingenious trick. ``Macete'' is pronounced with a soft c. Do not pronounce it as in ``Government supporters dropped confetti on the man waving the machete.''

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... altogether.^16.1

IMPS is designed so that it does not impose a syntax on the user.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... operators^16.2

Note that the word ``operator'' is being used here in a different sense than it is used in logic: an operator is simply a token which is parsed as the first element of a list.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.