miniKanren-with-symbolic-constraints icon indicating copy to clipboard operation
miniKanren-with-symbolic-constraints copied to clipboard

verified publisher icon webyrd
→

Metadata

Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.

Results 2 miniKanren-with-symbolic-constraints issues
Sort by recently updated
recently updated
newest added

Also export succeed and fail

1 comment

pkalliok avatar pkalliok

Chibi-Scheme compatibility wrapper

I added a compatibility wrapper for Chibi-Scheme called `mk-chibi.scm`. For this I had to change some more brakets to parenthesis in the test files. All tests have passed although "40...

ceving avatar ceving

← Metadata

153
Stars
22
Forks
Watchers

Owner

verified publisher icon webyrd

Metadata

Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.

Back