To define a new abstract syntax one have to write a specification, then type-check this specification and compile it.
In the present implementation, two compilers exist. One produces some Lisp code used to create a Centaur formalism, the second produces some Prolog code needed to compile or execute Typol specifications, or to compile an abstract syntax that include the present one. Centaur users will have to use both of them.
The source file can be produced with any editor. However, starting to enjoy Centaur syntactical editing with a simple language such as AS is not a bad idea.
Before complete bootstrapping of the CLF, type-checking and compiling of AS specification can only be done within Centaur.
Thierry Despeyroux