diff --git a/example.rkt b/example.rkt
index 755cafd..57a29b7 100644
--- a/example.rkt
+++ b/example.rkt
@@ -1,4 +1,4 @@
-#lang s-exp "cur-redex.rkt"
+#lang s-exp "redex-curnel.rkt"
 
 ;; Use racket libraries over your dependently typed code!?!?
 ;; TODO: actually, I'm not sure this should work quite as well as it
diff --git a/nat.rkt b/nat.rkt
index 5ee8e75..37be050 100644
--- a/nat.rkt
+++ b/nat.rkt
@@ -1,4 +1,4 @@
-#lang s-exp "cur-redex.rkt"
+#lang s-exp "redex-curnel.rkt"
 (require "sugar.rkt")
 (module+ test
   (require rackunit))
diff --git a/oll.rkt b/oll.rkt
index fa21b3a..f31e034 100644
--- a/oll.rkt
+++ b/oll.rkt
@@ -1,4 +1,4 @@
-#lang s-exp "cur-redex.rkt"
+#lang s-exp "redex-curnel.rkt"
 ;; OLL: The OTT-Like Library
 (require "sugar.rkt" "nat.rkt")
 
diff --git a/proofs-for-free-v2.rkt b/proofs-for-free-v2.rkt
index 6973052..1e24160 100644
--- a/proofs-for-free-v2.rkt
+++ b/proofs-for-free-v2.rkt
@@ -1,4 +1,4 @@
-#lang s-exp "cur-redex.rkt"
+#lang s-exp "redex-curnel.rkt"
 ;; Ignore this file.
 (require rackunit racket/trace (for-syntax racket/syntax))
 
diff --git a/cur-redex.rkt b/redex-curnel.rkt
similarity index 100%
rename from cur-redex.rkt
rename to redex-curnel.rkt
diff --git a/sugar.rkt b/sugar.rkt
index 33ec798..fab58f6 100644
--- a/sugar.rkt
+++ b/sugar.rkt
@@ -1,4 +1,4 @@
-#lang s-exp "cur-redex.rkt"
+#lang s-exp "redex-curnel.rkt"
 (provide ->
          ->*
          forall*