How to Install as a Package from Dr.

Racket · miniKanren/Racket-miniKanren Wiki · GitHub 4/13/19, 5:29 PM

miniKanren / Racket-miniKanren

Dismiss
Join GitHub today
GitHub is home to over 31 million developers
working together to host and review code,
manage projects, and build software together.

Sign up

How to Install as a Package from Dr. Racket

christianromney edited this page on Nov 12, 2014 · 2 revisions

1. Open Dr. Racket Pages 2

2. Select the menu item File, Install Package…
Find a Page…
3. Enter the following URL in the Package Source
textbox: github://github.com/miniKanren/Racket-
Home
miniKanren/master
How to Install as a Package
4. Click Install, wait util the installation completes (only from Dr. Racket
a few moments), then click Close to dismiss the
dialog
Clone this wiki locally
5. Enjoy learning miniKanren!
https://github.com/miniKanren/Racket

Try loading this into your Dr. Racket definitions window:

#lang racket
(require Racket-miniKanren/miniKanren/mk)

(run* (q)
(== q 'yay))

https://github.com/miniKanren/Racket-miniKanren/wiki/How-to-Install-as-a-Package-from-Dr.-Racket Page 1 of 1