Show HN: A step-by-step MicroKanren evaluator

3 points| purescript | 11 years ago |functorial.com | reply