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