Just to dust off some sexp cobwebs.
- Hash-table implementation of substitions as per core.logic
- ext-s should use
occurs'to prevent circular substitutions
Run tests with
lein test
cryptism/yaukanren
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Just to dust off some sexp cobwebs.
occurs' to prevent circular substitutionsRun tests with
lein test