Mon, 27 Aug 2001 11:03:45 +0200
> 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.
Yes, but they also say that they have to change Aldor to make it work.