package ortac-core
Ortac (OCaml Runtime Assertion Checking) core tool and library based on Gospel
Install
Dune Dependency
Authors
Maintainers
Sources
0.2.0.tar.gz
md5=15d9aa0fb63a79a5444b35970910c5c4
sha512=3a9162a91c4556553d3105de446e59247360ca2f0bd984124fac330854410d336aed7af252ae73ab7148f8b8f389601cc46e5b783e3bba9a7390df9009e5e10a
doc/index.html
On This Page