OCanren/dune-project at master · Kakadu/OCanren · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
(lang dune 2.9)

(cram enable)

(generate_opam_files true)

(license LGPL-2.1)

(source
 (github JetBrains-Research/OCanren))

(name OCanren)

(package
 (version 0.3.0)
 (name OCanren)
 (synopsis "Implementation of miniKanren relational (logic) EDSL")
 (description
  "The family of miniKanren derivatives has many implementations. This\none is typed embedding to OCaml. The original implementation for\nthis is in scheme and can be found at https://github.com/michaelballantyne/faster-miniKanren .\n\nFeatures:\n1) disequality constraints\n2) relational standard library: lists, nats\n")
 (depends
  (ocaml
   (>= 4.10))
  dune-configurator
  ocamlfind
  camlp5
  logger-p5
  (GT
   (>= 0.5))
  (benchmark :with-test)
  (ocamlformat
   (and
    :with-test
    (>= 0.22)
    (< 0.26)))
  ppx_inline_test
  (mtime
   (< 2.0.0)))
 (authors
  "Dmitrii Boulytchev https://github.com/dboulytchev"
  "Dmitrii Kosarev https://github.com/Kakadu"
  "Evgenii Moiseenko https://github.com/eupp"
  "Petr Lozov https://github.com/Lozov-Petr"
  "JetBrains Research https://research.jetbrains.org")
 (bug_reports "https://github.com/JetBrains-Research/OCanren/issues")
 (maintainers "Dmitrii Kosarev Kakadu@pm.me"))

(package
 (version 0.3.0)
 (name OCanren-ppx)
 (synopsis
  "Implementation of miniKanren relational (logic) EDSL: PPX extensions")
 (description
  "PPX rewriters for writing relational programs more conveniently.\n\n1) `ppx_fresh` -- a clone of original miniKanren syntax\n\n  fresh (x...) goal\n\nexpands into\n\n  Fresh.numeral (fun x ... -> goal)\n\n2) `ppx_distrib` for easier generation of type-safe wrappers: distrib functor, etc...\n\n  [%%distrib\n    type t = fully_abstract_typee\n    type ground = ...\n  ]\n\n3) `ppx_repr` for test. Expands `REPR(expr)` to `(string_of_expr expr, expr)`\n")
 (depends
  (ocaml
   (>= 4.10))
  dune-configurator
  (ppxlib
   (and
    (>= 0.22)
    (<= 0.26.0)))
  base
  ppx_inline_test
  ppx_expect)
 (authors
  "Dmitrii Kosarev https://github.com/Kakadu"
  "JetBrains Research https://research.jetbrains.org")
 (bug_reports "https://github.com/JetBrains-Research/OCanren/issues")
 (maintainers "Dmitrii Kosarev Kakadu@pm.me"))