From 4bb6dc3c714fd9370d13e7c646821ca9e909ac60 Mon Sep 17 00:00:00 2001
From: "William J. Bowman" <wjb@williamjbowman.com>
Date: Wed, 23 Sep 2015 21:41:04 -0400
Subject: [PATCH] Tweaks to README

---
 README.md | 22 ++++++++++++----------
 1 file changed, 12 insertions(+), 10 deletions(-)

diff --git a/README.md b/README.md
index 5af061a..859cb3c 100644
--- a/README.md
+++ b/README.md
@@ -24,25 +24,27 @@ Getting started
 
 Install cur via `raco pkg install cur`.
 
-Try it out. Save the following to `test.rkt`, then run `racket test.rkt`.
+Try it out: open up DrRacket and put the following in the definition area:
 
 ```racket
 #lang cur
-(require cur/stdlib/bool)
+(require 
+ cur/stdlib/bool
+ cur/stdlib/nat)
 
-(if btrue
-    bfalse
-    btrue)
+(if true
+    false
+    true)
+```
 
-(data True : Type
-  (I : True))
-
-I
+Try entering the following in the interaction area:
+```racket
+(sub1 (s (s z)))
 ```
 
 See the docs: `raco docs cur`.
 
-The standard library is currently undocumented, so just see the source.
+Most of the standard library is currently undocumented, so just see the source.
 
 Going further
 =============