dan friedman and will byrd about a relational lisp eval in minikanren bidirectional programming is something I like a lot, never thought an evaluator could be

dan friedman and will byrd about a relational lisp eval in minikanren bidirectional programming is something I like a lot, never thought an evaluator could be encoded like that