Closed jeffhhk closed 3 years ago
See medikanren/README.md for intended scope of each directory.
In my mind, this PR is the second of three rename PRs.
The new file locations look fine to me. Once you resolve the conflicts, feel free to merge.
Thanks @gregr!
See medikanren/README.md for intended scope of each directory.
In my mind, this PR is the second of three rename PRs.