Translator from subset of OCaml to OCanren
-
Updated
Aug 25, 2024 - OCaml
#
ocanren
Here are 2 public repositories matching this topic...
A template repository for relational programming using OCanren
-
Updated
Dec 27, 2025 - OCaml
Add this topic to your repo
To associate your repository with the ocanren topic, visit your repo's landing page and select "manage topics."