将Scheme编程语言转换为每种人类语言。
Translating the Scheme programming language to every human language. (2020-10-07, Scheme, 19KB, 下载0次)
皮尔斯类型和编程语言到miniKanren core.logic的翻译
Translation of Pierce s Types and Programming Languages into miniKanren core.logic (2014-02-25, Scheme, 20KB, 下载0次)