Skip to content

Tags: PLTools/OCanren

Tags

0.3.0

Fix compilation issues related to splitting to packages

Signed-off-by: Kakadu <Kakadu@pm.me>

0.3.0-alpha1

Changes for 0.3.0-alpha1

Signed-off-by: Kakadu <Kakadu@pm.me>

bug-lsp-1

Thursday workout with Danya

0.2.0

Distribution 0.2.0

v0.1.0

Upgrade Opam files

Signed-off-by: Kakadu <Kakadu@pm.me>

fancy-associated-types-removal

fix regression tests