OCaml Forge
SCM

View News | Submit

Choose a News item and you can browse, search, and post messages.

Delimited Overloading 0.8.15

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

This new release of Delimited Overloading is compatible with OCaml 4.00.0 and is built using oasis.

0 Comment Read More/Comment

Delimited overloading (pa_do): version 0.8.5 released

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

- Much improved complex optimizations (including accross let-bindings and evaluating constant expressions at compilation time) coming with several more test cases.

0 Comment Read More/Comment

Delimited overloading: version 0.8.3 released

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

What is new:

0 Comment Read More/Comment

Delimited overloading & computer assisted proofs.

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

A new example has been added to show how the use of Delimited Overloading can ease the writing of code for a computer assisted proof. You can see an interplay between various "levels of abstraction" (intervals, polynomials, analytic functions) and appreciate the clarity of the mathematical expressions that Delimited Overloding enables. See http://forge.ocamlcore.org/plugins/scmsvn/viewcvs.php/trunk/examples/comp_assit_proof/?root=pa-do

0 Comment Read More/Comment

Delimited overloading: version 0.8 released

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

Improvements:

0 Comment Read More/Comment

Delimited overloading: version 0.7 released

Christophe Troestler - 2008-11-24 08:27 - Delimited overloading

This version features:

0 Comment Read More/Comment

Delimited overloading: first public release.

Christophe Troestler - 2008-09-10 08:15 - 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.

0 Comment Read More/Comment