OCaml Forge
SCM

Project description

A syntax extension to ease the writing of efficient arithmetic expressions in OCaml.

Latest File Releases
Package Version Date Notes Monitor Download
pa-do 0.8.16 December 2, 2012 pa-do - Release Notes pa-do - Monitor this package pa-do 0.8.16 - Download
Public Areas
Tracker Tracker
 SCM Repository (Git: 1,369 commits, 150 adds)
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 -

Delimited overloading: version 0.7 released

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

Delimited overloading: first public release.

Christophe Troestler - 2008-09-10 08:15 -