diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..6551324
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,5 @@
+*~
+\#*
+.\#*
+.DS_Store
+compiled
diff --git a/cur.rkt b/cur.rkt
index 62a23f2..b60dd4f 100644
--- a/cur.rkt
+++ b/cur.rkt
@@ -18,9 +18,11 @@
 
 (require
   (rename-in "curnel/redex-lang.rkt" [provide real-provide])
+  (only-in racket/base eof)
   (for-syntax 'extra)
   'extra)
 (provide
+  eof
   (rename-out [real-provide provide])
   (for-syntax (all-from-out 'extra))
   (all-from-out
diff --git a/examples/example.rkt b/examples/example.rkt
index 3ba9f22..c8b94e7 100644
--- a/examples/example.rkt
+++ b/examples/example.rkt
@@ -1,4 +1,8 @@
-#lang s-exp "../cur.rkt"
+#lang racket/base
+;; #lang s-exp "../cur.rkt"
+
+(error "Known bug: examples.rkt way out of date")
+#| TODO NB XXX This file is woefully out of date
 
 ;; Use racket libraries over your dependently typed code!?!?
 ;; TODO: actually, I'm not sure this should work quite as well as it
@@ -448,3 +452,4 @@
    (has-type g e2 t1)
    ---------------------- T-App
    (has-type g (app e1 e2) t2)])
+|#
diff --git a/info.rkt b/info.rkt
new file mode 100644
index 0000000..4127c9f
--- /dev/null
+++ b/info.rkt
@@ -0,0 +1,8 @@
+#lang info
+(define collection "cur")
+(define deps '("base" "rackunit-lib"))
+(define build-deps '("scribble-lib" "racket-doc"))
+(define scribblings '(("scribblings/cur.scrbl" ())))
+(define pkg-desc "Dependent types with parenthesis and meta-programming.")
+(define version "0.1")
+(define pkg-authors '(wilbowma))
diff --git a/lang/reader.rkt b/lang/reader.rkt
new file mode 100644
index 0000000..f894dee
--- /dev/null
+++ b/lang/reader.rkt
@@ -0,0 +1,2 @@
+#lang s-exp syntax/module-reader
+cur/cur
diff --git a/scribblings/cur.scrbl b/scribblings/cur.scrbl
new file mode 100644
index 0000000..ee7eed1
--- /dev/null
+++ b/scribblings/cur.scrbl
@@ -0,0 +1,10 @@
+#lang scribble/manual
+@require[@for-label[cur
+                    racket/base]]
+
+@title{cur}
+@author{wilbowma (William J. Bowman <wjb@"@"williamjbowman.com>)}
+
+@defmodule[cur]
+
+Package Description Here