Pull requests: pythological/kanren
Pull requests list
Add a New feature or request
new goal
This issue implies the creation of a new goal (constructor)
stream processing
Operations related to (goal) stream processing
condp implementation
enhancement
#48
opened Jun 11, 2022 by
brandonwillard
Loading…
Fix associative-commutative relations and the use of term walk groundedness
enhancement
New feature or request
important
term rewriting
#40
opened Nov 14, 2021 by
brandonwillard
•
Draft
1 task
Relational typing example
enhancement
New feature or request
#34
opened May 13, 2021 by
brandonwillard
•
Draft
8 tasks
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.