package ppx_mica

You can search for identifiers within the package.

in-package search v0.2.0

PPX deriver that automates differential testing for OCaml modules

Install

Dune Dependency

github.com Readme Changelog ISC License Edit opam file Versions (1)

Authors

E

Ernest Ng <ernest@cs.cornell.edu>

Maintainers

E

Ernest Ng <ernest@cs.cornell.edu>

Sources

md5=ffea7388bfc17c7d3a1c6186f1413de6

sha512=dd56c36663c90494fb033847bafaf6cc0d05c0342ab7f8a056ac8d540fb23963aa5d6f20c2f0f3b48d1039df47266d0162d50739ca0071ffa0086f99642382ca

CHANGES.md.html

v0.1.0

Initial release of the Mica OCaml Workshop '24 artifact
Note: This version of Mica only works for modules signatures that only contain pure functions and only define one abstract type 'a t