Aldor, Cayenne

[Lennart Augustsson]

"S.D.Mechveliani" wrote:

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

    -- Lennart