Choose a News item and you can browse, search, and post messages.
Delimited Overloading 0.8.15
This new release of Delimited Overloading is compatible with OCaml 4.00.0 and is built using oasis.
Delimited overloading (pa_do): version 0.8.5 released
- Much improved complex optimizations (including accross let-bindings and evaluating constant expressions at compilation time) coming with several more test cases.
Delimited overloading: version 0.8.3 released
What is new:
Delimited overloading & computer assisted proofs.
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
Delimited overloading: version 0.8 released
Improvements:
Delimited overloading: version 0.7 released
This version features:
Delimited overloading: first public release.
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.
