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

Install

github.com Readme License Edit opam file

Authors

  1. D
    Dmitrii Boulytchev https://github.com/dboulytchev
  2. D
    Dmitrii Kosarev https://github.com/Kakadu
  3. E
    Evgenii Moiseenko https://github.com/eupp
  4. P
    Petr Lozov https://github.com/Lozov-Petr
  5. J
    JetBrains Research https://research.jetbrains.org

Maintainers

  1. D
    Dmitrii Kosarev Kakadu@pm.me

Sources

OCanren-ppx-0.2.0.tbz
sha256=77dd4b9d2b41f908ee4871612e78f455f9f0200a8c70321fcc82ebb53c86b4f0
sha512=c5dab91f59060f5dd5aecef5665e9235d8317cf071603070b0eef84ba6dc3a6ac027a8cf8aa37262109edb309b83c05f355a53c6718e43438164740c6b8715d4

Description

PPX rewriter for writing relational programs more confenient.

fresh (x...) goal

expands into

Fresh.numeral (fun x ... -> goal)

Published: 05 Mar 2021

Dependencies (5)

  1. base >= "v0.14.1"
  2. ppxlib >= "0.22.0"
  3. dune-configurator
  4. dune >= "2.5"
  5. ocaml

Dev Dependencies

    None

Used by

    None

Conflicts

    None