issues
search
PLTools
/
OCanren
Statically typed embedding of miniKanren relational programming language into OCaml
GNU Lesser General Public License v2.1
117
stars
19
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Unused variable self warning when using ppx_distrib
#172
kajigor
closed
3 months ago
1
@YueLiPicasso tutorial
#171
IgorErin
opened
1 year ago
0
PPX: Support ppx_inject in .mli files
#170
Kakadu
closed
1 year ago
0
Many updates on `[%%ocanren_inject...]`
#169
Kakadu
closed
1 year ago
0
Printing logic lists. Attempt 2
#168
Kakadu
closed
1 year ago
2
Repair pretty-printing of logic lists
#167
Kakadu
closed
1 year ago
0
Make type 'OCanren.Std.List.ground' to be 'List.t'
#166
Kakadu
closed
1 year ago
0
ppx distrib: add records
#165
Kakadu
closed
1 year ago
0
New type namings in ppx_distrib/ppx_ocanren
#164
Kakadu
closed
1 year ago
0
PPX distrib now can generate fully abstract types
#163
Kakadu
closed
1 year ago
0
Std.List.prj_exn to normal GT.list
#162
Kakadu
closed
1 year ago
0
Fixed record constructor naming for 'Distrib'.
#161
Lozov-Petr
closed
2 years ago
0
Fix the ppxlib constraint correctly
#160
pitag-ha
closed
2 years ago
0
Fix ppxlib constraint
#159
pitag-ha
closed
2 years ago
1
Wildcards in unification
#158
Kakadu
closed
1 year ago
0
Moiseenko-style reifiers
#157
Kakadu
closed
2 years ago
0
Complexity paper: camera-ready draft
#156
rozplokhas
closed
2 years ago
2
Complexity paper: final
#155
rozplokhas
closed
2 years ago
0
Complexity paper: references
#154
rozplokhas
closed
2 years ago
0
Complexity paper: merge appendix
#153
rozplokhas
closed
2 years ago
0
Complexity paper: small fixes
#152
rozplokhas
closed
2 years ago
0
Complexity paper: scheduling section refactoring
#151
rozplokhas
closed
2 years ago
0
Complexity paper: related works and discussion
#150
rozplokhas
closed
2 years ago
0
Complexity paper: symbolic section updated
#149
rozplokhas
closed
2 years ago
0
Complexity paper: some parts in the symbolic section
#148
rozplokhas
closed
2 years ago
0
Complexity paper: restructuring symbolic section
#147
rozplokhas
closed
2 years ago
0
Complexity paper: restructuring symbolic section
#146
rozplokhas
closed
2 years ago
0
Complexity paper: updating example and adding proof appendix
#145
rozplokhas
closed
2 years ago
0
Complexity paper: correction in the scheduling section
#144
rozplokhas
closed
2 years ago
0
Complexity paper: Notions for symbolic analysis
#143
rozplokhas
closed
2 years ago
0
Complexity paper: reverso example analysis
#142
rozplokhas
closed
2 years ago
0
Complexity paper: scheduling factor section refactoring
#141
rozplokhas
closed
3 years ago
0
wrong type signature for distrib from Fmap2
#140
YueLiPicasso
closed
3 years ago
0
Integrate @YueLiPicasso's tutorial
#139
Kakadu
opened
3 years ago
0
Complexity paper: final
#138
rozplokhas
closed
3 years ago
0
Complexity paper: updates after the reviews
#137
rozplokhas
closed
3 years ago
0
Complexity paper: microfixes
#136
rozplokhas
closed
3 years ago
0
Complexity paper: added explanations for the lemmas about scheduling complexity and reread the paper
#135
rozplokhas
closed
3 years ago
0
Complexity paper: submitted version
#134
rozplokhas
closed
3 years ago
0
complexity paper: tables
#133
rozplokhas
closed
3 years ago
0
Added sections 1 and 6 in some form
#132
rozplokhas
closed
3 years ago
0
Added sections 2 and 5 (drafts)
#131
rozplokhas
closed
3 years ago
0
Switch from 4.07 to 4.10 and replace ocamlbuild by dune
#130
Kakadu
closed
3 years ago
0
Achieve compatibility with ppxlib 0.22.0
#129
pitag-ha
closed
3 years ago
5
Semantics paper: cosmetics + removing appendices
#128
rozplokhas
closed
4 years ago
0
Semantics paper: working on the camera-ready version
#127
rozplokhas
closed
4 years ago
0
Typos in the MiniKanren-2020 semantics paper
#126
rozplokhas
closed
4 years ago
0
Final corrections in APLAS-2020 and MiniKanren-2020 papers on semantics
#125
rozplokhas
closed
4 years ago
0
Evaluation was extended.
#124
Lozov-Petr
closed
4 years ago
0
Semantics paper: final
#123
rozplokhas
closed
4 years ago
0
Next