From 1e3994d388cba3a47c481f57f02912005de39692 Mon Sep 17 00:00:00 2001
From: "William J. Bowman" <wjb@williamjbowman.com>
Date: Wed, 16 Sep 2015 12:37:47 -0400
Subject: [PATCH] Added redex-lib dep and install instructions

---
 README.md | 27 ++++++++++++++++++++++++---
 info.rkt  |  2 +-
 2 files changed, 25 insertions(+), 4 deletions(-)

diff --git a/README.md b/README.md
index 65e830e..36ab5a2 100644
--- a/README.md
+++ b/README.md
@@ -15,9 +15,30 @@ cur (plural curs)
 Getting started
 ===============
 
-Requires redex-lib version 1.6 if you want answers in a reasonable amount
-of time. Otherwise, the type-checker may require exponential time
-or worse.
+Install cur via `raco pkg install git://github.com/wilbowma/cur.git`.
+Setup will likely result in a ton of errors that are safe to ignore.
+
+Try it out. Save the following to `test.rkt`, then run `racket test.rkt`.
+
+```racket
+#lang cur
+(require cur/stdlib/bool)
+
+(if btrue
+    bfalse
+    btrue)
+
+(data True : Type
+  (I : True))
+
+I
+```
+
+There is currently little documentation, so your best bet is to look at
+the source code in the `stdlib` for examples.
+
+Going further
+=============
 
 Open up `examples/example.rkt` to see a tour of Cur's features.
 
diff --git a/info.rkt b/info.rkt
index 4127c9f..4787e94 100644
--- a/info.rkt
+++ b/info.rkt
@@ -1,6 +1,6 @@
 #lang info
 (define collection "cur")
-(define deps '("base" "rackunit-lib"))
+(define deps '("base" "rackunit-lib" ("redex-lib" #:version "1.6")))
 (define build-deps '("scribble-lib" "racket-doc"))
 (define scribblings '(("scribblings/cur.scrbl" ())))
 (define pkg-desc "Dependent types with parenthesis and meta-programming.")