functory 0.5
| Authors | Jean-Christophe Filliâtre and Kalyan Krishnamani | ||||
|---|---|---|---|---|---|
| License | GNU Library General Public License version 2.1 | ||||
| Homepage | http://functory.lri.fr/ | ||||
| Maintainer | roberto@dicosmo.org | ||||
| Dependencies |
|
||||
| Published | Mar 5, 2013 | ||||
| Source [http] |
https://www.lri.fr/~filliatr/functory/download/functory-0.5.tar.gz c7e6576c3e6b3a7e247eab530d7e4de8 |
||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/functory/functory.0.5/opam | ||||