package OCanren-ppx

You can search for identifiers within the package.

in-package search v0.2.0

package OCanren-ppx

OCanren-ppx
- README
- Library OCanren-ppx.internals
  - Myhelpers
    
    Located
    
    Exp
- Library ppx_deriving_reify
  - Ppx_deriving_reify
    
    Deriving_reify
    
    Pprintast_
    
    Format
- Library ppx_distrib
  - Ppx_distrib
- Library ppx_fresh
  - Ppx_fresh
- Library ppx_noinjected
  - Ppx_noinjected
- Library ppx_repr
  - Ppx_repr
- Sources
  - OCanren-ppx.internals
    
    myhelpers.ml
  - ppx_deriving_reify
    
    deriving_reify.ml
    
    ppx_deriving_reify.ml
  - ppx_distrib
    
    ppx_distrib.ml
    
    ppx_distrib__.ml
    
    ppx_distrib_expander.ml
  - ppx_fresh
    
    ppx_fresh.ml
  - ppx_noinjected
    
    ppx_noinjected.ml
  - ppx_repr
    
    ppx_repr.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

OCanren is a strongly-typed embedding of relational programming language miniKanren into OCaml. Nowadays, the implementation of OCanren strongly reminds faster-miniKanren. Previous implementation was based on microKanren with disequality constraints.

See installation instructions, API documentation for more details, and ReadTheDocs for detailed information.

Check our template repository for OCanren projects for faster startup!

Installation

OCanren is available in main OPAM repository

  opam install OCanren --yes

To try out developer version use

  opam pin add OCanren --dev-repo --yes