OCanren

Implementation of miniKanren relational (logic) EDSL
IN THIS PACKAGE

Libraries

This package provides the following libraries (via ocamlobjinfo):

tester

Documentation:

pa_ocanren

Documentation:

lib

Documentation:

OCanren

Documentation: