package OCanren

Overview
Docs

You can search for identifiers within the package.

in-package search v0.2.0

Implementation of miniKanren relational (logic) EDSL

Install

Dune Dependency

github.com Readme Changelog LGPL-2.1 License Edit opam file Versions (4)

Authors

D

Dmitrii Boulytchev https://github.com/dboulytchev
D

Dmitrii Kosarev https://github.com/Kakadu
E

Evgenii Moiseenko https://github.com/eupp
P

Petr Lozov https://github.com/Lozov-Petr
J

JetBrains Research https://research.jetbrains.org

Maintainers

D

Dmitrii Kosarev Kakadu@pm.me

Sources

0.3.0.tar.gz

sha256=eaf9624bbdbae8050eb43a48c0e79e97160b83b6f65a543ee1beca4c9f4ff4b2

sha512=e55dd7a3026b1dedcd37f55181059dfa44ad6976d241a1199246ee3c1684dcfdf1ae0c1da32165b5b2eb5748cfc57c906a0f0ebab56d03035a5bb87187a63cf7

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