A language for symbolic mathematics, especially General Relativity.

See also clam.

["ALAM Programmer's Manual", Ray D'Inverno, 1970].