OCaml Forge

Forum: delimited-overloading--first-public-release.

Posted by: Christophe Troestler
Date: 2008-09-10 08:15
Summary:Delimited overloading: first public release.
Project:Delimited overloading

Delimited overloading is a syntax extension that enables local overloading of operators and functions. It comes with pa_infix which allows to set the precedence and associativity of operators and an improved version of macros which is compatible with overloading.

We would like to thank Jane Street Capital for their support of the project.

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--first-public-release.

Monitor Forum | Start New Thread Start New Thread