OCaml Forge
News
SCM

Forum: delimited-overloading--version-0.8.3-released

Posted by: Christophe Troestler
Date: 2009-02-07 22:18
Summary:Delimited overloading: version 0.8.3 released
Project:Delimited overloading

What is new:
- Overload record fields (concrete syntax);
- Improvements to the overloadings of standard integer modules;
- OVERLOAD X = Y;
- Sources of the OCaml meeting 09 talk.
- New examples.

Latest News

Delimited Overloading 0.8.15

Christophe Troestler - 2012-09-28 20:05 -

Delimited overloading (pa_do): version 0.8.5 released

Christophe Troestler - 2009-04-14 09:09 -

Delimited overloading: version 0.8.3 released

Christophe Troestler - 2009-02-07 22:18 -

Delimited overloading & computer assisted proofs.

Christophe Troestler - 2009-01-31 17:08 -

Delimited overloading: version 0.8 released

Christophe Troestler - 2008-12-16 09:43 -

Discussion Forums: delimited-overloading--version-0.8.3-released

Monitor Forum | Start New Thread Start New Thread