Pure miniKanren with fair conjunction by iterative distribution and reduction
/learn @michaelballantyne/DKanren
Quality Score
Category
Supported Platforms
michaelballantyne
View profile
Languages
Security Score
Audited on Feb 11, 2023
