Aldor, Cayenne

Mon, 27 Aug 2001 11:26:14 +0400

Lennart Augustsson responded recently about Aldor and Cayenne
systems and on the possibility of  proofs  in these languages.

Aldor www page shows the following among other Projects:

>                       Mathematical libraries
>   * Atypical
>     Authors: Simon Thompson, James Beaumont, John Shackell, Leonid
>     Timochouk
>     The aim of the project is to integrate into Aldor a capability
>     for reasoning. The logic is embedded into the types of Aldor by
>     means of a modified version of Aldor's dependent types.
> [..]

This looks similar to what was being developed with Cayenne.

Serge Mechveliani