package OCanren

  1. Overview
  2. Docs
Implementation of miniKanren relational (logic) EDSL

Install

Dune Dependency

Authors

Maintainers

Sources

0.3.0-alpha1.tar.gz
sha256=d530d7e64c2858796c9c3b366702d2afa96097ea0815c0c7b9b185c41c0c7db9
sha512=ff200d35f72d9ce50c862d63291c3bc6a0e9544426cf72678e2a28553110ca88382a13868af16e62526a3f8d8ba33193be023b2a8a60053f3cb21794063411f4

CHANGES.html

CHANGES

## 0.3.0 (dev)

## 0.3.0-alpha1 (12-02-2022)

### Changed

- Rewrite everyting with Moiseenko-style reifiers
  * Now we use `'a ilogic' type instead of `('a, 'b) injected`.
  * Reification changes: we no longer need FMap1/2/3/etc
	* New `ppx_distrib` to generate reification code
- Requires GT >= 0.5, fresh ppxlib < 0.25


## 0.2.0 (2021-03-04)

### Changed

- Upgrade for OCaml 4.10
- Upgrade for ppxlib 0.22
OCaml

Innovation. Community. Security.