TODO
- make run_goal limit results (set Transcript.cap)
- make run_goal resumable
- make run_goal non-recursive
This repository was archived by the owner on Nov 9, 2023. It is now read-only.
iacore/kanren.zig
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|