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 mechvel@botik.ru
"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
participants (2)
-
Lennart Augustsson -
S.D.Mechveliani