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

Fixed typo

Browse Source
This commit is contained in:
William J. Bowman 2015-02-06 01:05:26 -05:00
parent af0b1a908f
commit 410ee11cbe
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
proofs-for-free.rkt
View File

@ -27,7 +27,7 @@
(syntax-parse (cur-expand syn) (syntax-parse (cur-expand syn)
;; TODO: Need to add these to a literal set and export it ;; TODO: Need to add these to a literal set and export it
;; Or, maybe redefine syntax-parse ;; Or, maybe redefine syntax-parse
#:dataumliterals (:) #:dataum-literals (:)
#:literals (lambda forall data real-app case Type) #:literals (lambda forall data real-app case Type)
[(_ Type) [(_ Type)
#'(lambda* (x1 : Type) (x2 : Type) (->* x1 x2 Type))] #'(lambda* (x1 : Type) (x2 : Type) (->* x1 x2 Type))]