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

Rackety

Browse Source
This commit is contained in:
Robby Findler 2011-01-17 17:16:39 -06:00
parent d5fdee7e06
commit d4aeb3fa4c
21 changed files with 24 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/redex/examples/arithmetic.rkt
View File

@ -1,4 +1,4 @@
#lang scheme #lang racket
(require redex) (require redex)
(define-language lang (define-language lang

2
collects/redex/examples/beginner.rkt
View File

@ -1,3 +1,4 @@
#lang racket
#| #|
This is the semantics of Beginner Scheme, one of the This is the semantics of Beginner Scheme, one of the
@ -9,7 +10,6 @@ reflects the (broken) spec).
|# |#
#lang scheme
(require redex/reduction-semantics) (require redex/reduction-semantics)
(provide run-tests (provide run-tests

2
collects/redex/examples/church.rkt
View File

@ -1,4 +1,4 @@
#lang scheme #lang racket
(require redex) (require redex)
(reduction-steps-cutoff 100) (reduction-steps-cutoff 100)

2
collects/redex/examples/combinators.rkt
View File

@ -1,4 +1,4 @@
#lang scheme #lang racket
;"one point basis" ;"one point basis"
;"formal aspects of computing" ;"formal aspects of computing"

2
collects/redex/examples/compatible-closure.rkt
View File

@ -1,4 +1,4 @@
#lang scheme #lang racket
(require redex) (require redex)
(define-language grammar (define-language grammar

2
collects/redex/examples/contracts.rkt
View File

@ -1,4 +1,4 @@
#lang scheme #lang racket
#| #|

2
collects/redex/examples/letrec.rkt
View File

@ -1,4 +1,4 @@
#lang scheme #lang racket
#| #|

2
collects/redex/examples/omega.rkt
View File

@ -1,4 +1,4 @@
#lang scheme #lang racket
(require redex "subst.ss") (require redex "subst.ss")
(reduction-steps-cutoff 10) (reduction-steps-cutoff 10)

2
collects/redex/examples/pi-calculus.rkt
View File

@ -1,4 +1,4 @@
#lang scheme #lang racket
;; this is a formulation of the pi-calculus in redex, following Milner's 1990 paper, ;; this is a formulation of the pi-calculus in redex, following Milner's 1990 paper,
;; "Functions as Processes", available online (for now, anyhow) at: ;; "Functions as Processes", available online (for now, anyhow) at:

8
collects/redex/examples/r6rs/r6rs.rkt
View File

@ -1,6 +1,6 @@
(module r6rs mzscheme #lang racket
(require redex/reduction-semantics (require redex/reduction-semantics
(lib "plt-match.ss")) racket/match)
(provide lang (provide lang
reductions reductions
@ -24,7 +24,7 @@
(define-syntax (metafunction-type stx) (define-syntax (metafunction-type stx)
;; these are only used in the figures ;; these are only used in the figures
#''ignore) #'(void))
(define-language lang (define-language lang
(p* (store (sf ...) es) (uncaught-exception v) (unknown string)) (p* (store (sf ...) es) (uncaught-exception v) (unknown string))
@ -976,4 +976,4 @@
(define (unique? l) (define (unique? l)
(or (null? l) (or (null? l)
(and (andmap (lambda (e) (not (equal? (car l) e))) (cdr l)) (and (andmap (lambda (e) (not (equal? (car l) e))) (cdr l))
(unique? (cdr l)))))) (unique? (cdr l)))))

2
collects/redex/examples/r6rs/show-examples.rkt
View File

@ -1,4 +1,4 @@
#lang scheme #lang racket
(require redex (require redex
"r6rs.ss") "r6rs.ss")

2
collects/redex/examples/racket-machine/grammar.rkt
View File

@ -1,4 +1,4 @@
#lang scheme #lang racket
(require redex/reduction-semantics) (require redex/reduction-semantics)

2
collects/redex/examples/racket-machine/reduction-test.rkt
View File

@ -1,4 +1,4 @@
#lang scheme #lang racket
(require redex/reduction-semantics (require redex/reduction-semantics
"reduction.ss") "reduction.ss")

2
collects/redex/examples/racket-machine/reduction.rkt
View File

@ -1,4 +1,4 @@
#lang scheme #lang racket
(require redex/reduction-semantics) (require redex/reduction-semantics)
(require "grammar.ss" "util.ss") (require "grammar.ss" "util.ss")

2
collects/redex/examples/racket-machine/verification-test.rkt
View File

@ -1,4 +1,4 @@
#lang scheme #lang racket
(require redex/reduction-semantics) (require redex/reduction-semantics)
(require "grammar.ss" "verification.ss") (require "grammar.ss" "verification.ss")

2
collects/redex/examples/racket-machine/verification.rkt
View File

@ -1,4 +1,4 @@
#lang scheme #lang racket
(require redex/reduction-semantics) (require redex/reduction-semantics)
(require "grammar.ss" "util.ss") (require "grammar.ss" "util.ss")

2
collects/redex/examples/semaphores.rkt
View File

@ -1,4 +1,4 @@
#lang scheme #lang racket
(require redex) (require redex)
#| #|

2
collects/redex/examples/subject-reduction.rkt
View File

@ -1,4 +1,4 @@
#lang scheme #lang racket
(require redex) (require redex)
(reduction-steps-cutoff 10) (reduction-steps-cutoff 10)

2
collects/redex/examples/subst.rkt
View File

@ -1,4 +1,4 @@
#lang scheme #lang racket
(require redex/reduction-semantics) (require redex/reduction-semantics)
(provide subst subst-n) (provide subst subst-n)

2
collects/redex/examples/threads.rkt
View File

@ -1,4 +1,4 @@
#lang scheme #lang racket
(require redex) (require redex)
(reduction-steps-cutoff 100) (reduction-steps-cutoff 100)

2
collects/redex/examples/types.rkt
View File

@ -1,4 +1,4 @@
#lang scheme #lang racket
(require redex (require redex
"subst.ss") "subst.ss")