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

fixed typo introduced by search-and-replace

Browse Source
This commit is contained in:
John Clements 2010-07-03 16:32:37 -04:00
parent a5d969607b
commit c42d5c25c7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -118,7 +118,7 @@
;; THE REST OF THIS IS BOILERPLATE... (subst, free-vars, etc.) ;; THE REST OF THIS IS BOILERPLATE... (subst, free-vars, etc.)
;; BOUND-BY : compute the variables bound along the sπne of a context ;; BOUND-BY : compute the variables bound along the spine of a context
(define-metafunction π-calculus (define-metafunction π-calculus
bound-by : E -> (a ...) bound-by : E -> (a ...)
[(bound-by hole) ()] [(bound-by hole) ()]