OCaml Forge
SCM

Forum: delimited-overloading--version-0.8-released

Posted by: Christophe Troestler
Date: 2008-12-16 09:43
Summary:Delimited overloading: version 0.8 released
Project:Delimited overloading

Improvements:
- ocamlfind installation;
- Concrete syntax for bigarrays;
- Overloadings for Hashtbl and String;
- More optimizations and 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-released

Monitor Forum | Start New Thread Start New Thread