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
> 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.