ORTHOCARTAN

A. Krasinski, Warsaw, early 80's

A language for symbolic mathematics, especially General Relativity.