adrieng/matcheck

A small and generic verifier of ML's pattern-matching construct.

GitHub repository with 5 stars and 0 forks.

Language: OCaml

Open provider repository