News
Journal of Logical and Algebraic Methods in Programming (2021). [3] Generalized rewrite theories, coherence completion, and symbolic methods.
The miniKanren Confo is a special 4 hour conference about logic programming (in particular miniKanren). Dan Friedman and Will Byrd (co-authors of the Reasoned Schemer) will provide a keynote.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback