moca

v 0.7.0

general construction functions generator for OCaml data types with invariants


http://moca.inria.fr/

To install moca, paste this in macOS terminal after installing MacPorts

sudo port install moca

Add to my watchlist

Installations 0
Requested Installations 0