Skip to content

Tags: PLTools/OCanren

Tags

0.3.0

Toggle 0.3.0's commit message
Fix compilation issues related to splitting to packages Signed-off-by: Kakadu <Kakadu@pm.me>

0.3.0-alpha1

Toggle 0.3.0-alpha1's commit message
Changes for 0.3.0-alpha1 Signed-off-by: Kakadu <Kakadu@pm.me>

bug-lsp-1

Toggle bug-lsp-1's commit message
Thursday workout with Danya 

0.2.0

Toggle 0.2.0's commit message
Distribution 0.2.0 

v0.1.0

Toggle v0.1.0's commit message
Upgrade Opam files Signed-off-by: Kakadu <Kakadu@pm.me>

fancy-associated-types-removal

Toggle fancy-associated-types-removal's commit message
fix regression tests