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

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

Closed webyrd closed 12 years ago

webyrd commented 12 years ago

Should I include the jars as externals from github? Or is there another way to do this?

webyrd commented 12 years ago

Looks like Leiningen is the solution! :)