Merge branch 'master' into reflection

2015-01-29 22:44:55 -05:00 · 2015-01-29 22:44:55 -05:00 · c537287df4
commit c537287df4
parent b0e350885a ec95026066
6 changed files with 5 additions and 5 deletions
--- 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
--- 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))
--- 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")

--- 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))

--- a/redex-curnel.rkt
+++ b/redex-curnel.rkt
--- a/sugar.rkt
+++ b/sugar.rkt
@ -1,4 +1,4 @@
-#lang s-exp "cur-redex.rkt"
+#lang s-exp "redex-curnel.rkt"
 (provide ->
         ->*
         forall*