OCaml Source Code Checker for Value-oriented Programming

Value-oriented programming encourages to explicitly state values and use recursions instead of loop. This tool checks the usage of any ref, while amd for keywords in OCaml source codes.

Installation

This package can be installed using OPAM:

opam pin git+https://github.com/prosyslab-classroom/checkml.git