0% found this document useful (0 votes)
233 views1 page

How To Install Mini Kan Ren in DR Racket

This document provides instructions for installing the Racket-miniKanren package from within Dr. Racket. It outlines opening Dr. Racket, selecting "Install Package..." from the file menu, entering the package URL "github://github.com/miniKanren/Racket-miniKanren/master" and clicking install. Once installed, the miniKanren library can be loaded and used.

Uploaded by

Richard Mcdaniel
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
233 views1 page

How To Install Mini Kan Ren in DR Racket

This document provides instructions for installing the Racket-miniKanren package from within Dr. Racket. It outlines opening Dr. Racket, selecting "Install Package..." from the file menu, entering the package URL "github://github.com/miniKanren/Racket-miniKanren/master" and clicking install. Once installed, the miniKanren library can be loaded and used.

Uploaded by

Richard Mcdaniel
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 1

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

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy