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

Moved all examples to own sub-directory

Browse Source
This commit is contained in:
William J. Bowman 2015-09-15 18:58:32 -04:00
parent 23c1b56065
commit 2796cba6fb
No known key found for this signature in database
GPG Key ID: DDD48D26958F0D1A
3 changed files with 12 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
example.rkt → examples/example.rkt
View File

@ -1,11 +1,11 @@
#lang s-exp "cur.rkt" #lang s-exp "../cur.rkt"
;; Use racket libraries over your dependently typed code!?!? ;; Use racket libraries over your dependently typed code!?!?
;; 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 (require
(only-in "cur.rkt" (only-in "../cur.rkt"
[#%app real-app] [#%app real-app]
[define real-define])) [define real-define]))

6
proofs-for-free.rkt → examples/proofs-for-free.rkt
View File

@ -1,7 +1,7 @@
#lang s-exp "cur.rkt" #lang s-exp "../cur.rkt"
(require (require
"stdlib/sugar.rkt" "../stdlib/sugar.rkt"
"stdlib/prop.rkt" "../stdlib/prop.rkt"
racket/trace racket/trace
(for-syntax racket/syntax)) (for-syntax racket/syntax))

14
stlc.rkt → examples/stlc.rkt
View File

@ -1,11 +1,11 @@
#lang s-exp "cur.rkt" #lang s-exp "../cur.rkt"
(require (require
"stdlib/nat.rkt" "../stdlib/nat.rkt"
"stdlib/sugar.rkt" "../stdlib/sugar.rkt"
"oll.rkt" "../oll.rkt"
"stdlib/maybe.rkt" "../stdlib/maybe.rkt"
"stdlib/bool.rkt" "../stdlib/bool.rkt"
"stdlib/prop.rkt") "../stdlib/prop.rkt")
(define-language stlc (define-language stlc
#:vars (x) #:vars (x)