vocal 0.1 · OCaml Package

VOCaL -- The Verified OCaml Library

Description

VOCaL -- The Verified OCaml Library

Install

Documentation vocal.lri.fr MIT License Edit opam file

Published

25 Dec 2018

Authors

Maintainers

Sources

0.1.tar.gz
md5=958aa0242ed5abb398bff503b24e6a9f

sha512=f594f3b422bbbf4888db12ae3a75ed0a9de458a8b9e0dbeafebd0ddd3ace3f21233874817309eac4b5d80f72f778ee92038652b166f2c93d0522b6fda3a2cbeb

Dependencies

seq

ocaml >= "4.07"

dune

Reverse Dependencies