search

webyrd / TAPL-in-miniKanren-cKanren-core.logic

Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic
35 stars 7 forks source link

cKanren uses Chez-specific features #1

Open webyrd opened 12 years ago

webyrd commented 12 years ago

Need to add a compatibility file to factor out any Chez Scheme specific features (trace-define, pretty-print, parameters, etc.).