suzanne.soy/cur
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Renamed more curnels

Browse Source
This commit is contained in:
William J. Bowman 2015-01-29 22:46:53 -05:00
parent c537287df4
commit e1ceb8a7d8
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
example.rkt
View File

@ -4,7 +4,7 @@
;; TODO: actually, I'm not sure this should work quite as well as it ;; TODO: actually, I'm not sure this should work quite as well as it
;; seems to with check-equal? ;; seems to with check-equal?
(require rackunit) (require rackunit)
(require (only-in "cur-redex.rkt" [#%app real-app] (require (only-in "redex-curnel.rkt" [#%app real-app]
[define real-define])) [define real-define]))
(define-syntax (#%app syn) (define-syntax (#%app syn)

2
sugar.rkt
View File

@ -9,7 +9,7 @@
define-theorem define-theorem
qed) qed)
(require (only-in "cur-redex.rkt" [#%app real-app] (require (only-in "redex-curnel.rkt" [#%app real-app]
[define real-define])) [define real-define]))
(define-syntax (-> syn) (define-syntax (-> syn)