Getting miniKanren

Jump to bottom Edit New page

christianromney edited this page Nov 12, 2014 · 1 revision

Racket

Open Dr. Racket
Select the menu item File, Install Package…
Enter the following URL in the Package Source textbox: github://github.com/miniKanren/Racket-miniKanren/master
Click Install, wait util the installation completes (only a few moments), then click Close to dismiss the dialog
Enjoy learning miniKanren!

Try loading this into your Dr. Racket definitions window:

    #lang racket
    (require Racket-miniKanren/miniKanren/mk)
    
    (run* (q)
          (== q 'yay))

Clojure

Clone the following bare-bones project uncourse
cd into the uncourse folder
lein run

If you see (yay) printed out, you're good to go. Just follow along in src/uncourse/core.clj.

Scheme

Coming Soon