Calculating with Signatures
An extension to the signature language of ocaml. The patch is for ocaml-3.08.0 and provides some operations
on signatures. It is still at an experimental state but mostly working.
[ Homepage ]
| Author: | Jürgen Pfitzenmaier. |
| Last modification date: | 04-Aug-2004 |
| Development status: | Development code |
| Kind: | Patch |
| Topic: | Programming languages :: Typing |
| Homepage: | www.pfitzenmaier.de/sigcalc.html |