OCaml Forge
SCM

Forum: delimited-overloading--version-0.7-released

Posted by: Christophe Troestler
Date: 2008-11-24 08:27
Summary:Delimited overloading: version 0.7 released
Project:Delimited overloading

This version features:
- Better optimizations for complex numbers;
- More examples;
- Improvements to the documentation.
Comments, bug reports, and patches welcome!

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

Monitor Forum | Start New Thread Start New Thread