webyrd TAPL-in-miniKanren-cKanren-core.logic issues - Githubissues

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

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

What is the right way (if any) to include Clojure and core.logic?

#3 webyrd closed 12 years ago
1
Need to add CLP(Set) constraints to cKanren

#2 webyrd closed 11 years ago
1
cKanren uses Chez-specific features

#1 webyrd opened 12 years ago
0