« Bindlib » : différence entre les versions
Aller à la navigation
Aller à la recherche
Aucun résumé des modifications |
m (description) |
||
| Ligne 1 : | Ligne 1 : | ||
bindlib is a library and a camlp4 extension for the Objective-Caml language providing reasonable tools to write programs manipulating data structures with bound variables (like lambda-calculus or quantified formulae). It is quite efficient and easy to use (thanks to the camlp4 extension). |
|||
The current version of bindlib is 3.2 and it is accessible from |
The current version of bindlib is 3.2 and it is accessible from |
||
[http://www.lama.univ-savoie.fr/~raffalli/bindlib this web site] |
[http://www.lama.univ-savoie.fr/~raffalli/bindlib this web site] |
||
This is the wiki for the bindlib library ... |
|||
Dernière version du 10 novembre 2008 à 12:25
bindlib is a library and a camlp4 extension for the Objective-Caml language providing reasonable tools to write programs manipulating data structures with bound variables (like lambda-calculus or quantified formulae). It is quite efficient and easy to use (thanks to the camlp4 extension).
The current version of bindlib is 3.2 and it is accessible from this web site