···

       
30
       
30
       
 
       
  [make "test"] { with-test }

     

       
31
       
31
       
 
       
]

     

       
32
       
32
       
 
       


     

       
33
       
33
       
-
       
dev-repo: "git+https://github.com/JetBrains-Research/OCanren.git#dune"

     

       
33
       
33
       
+
       
dev-repo: "git+https://github.com/JetBrains-Research/OCanren.git"

     

       
34
       
34
       
 
       


     

       
35
       
35
       
 
       
url {

     

       
36
       
36
       
 
       
  src: "https://github.com/JetBrains-Research/OCanren/archive/v0.1.0.tar.gz"

     

···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
-
       
description: "Implementation of miniKanren relational (logic) EDSL"

     

       
3
       
3
       
-
       
synopsis: """\

     

       
2
       
2
       
+
       
synopsis: "Implementation of miniKanren relational (logic) EDSL"

     

       
3
       
3
       
+
       
description: """\

     

       
4
       
4
       
 
       
The family of miniKanren derivatives has many implementations. This

     

       
5
       
5
       
 
       
one is typed embedding to OCaml. The original implementation for 

     

       
6
       
6
       
 
       
this is in scheme and can be found at https://github.com/michaelballantyne/faster-miniKanren .