Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic - View it on GitHub