OCaml Forge
Summary
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.13 May 15, 2011 pa-do - Release Notes pa-do - Monitor this package pa-do 0.8.13 - Download
View All Project Files
Public Areas
Home Page Project Home Page
Tracker Tracker
 SCM Repository (Bazaar: 1,343 commits, 147 adds)
Latest News
rss

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 -