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

svn: r16019

Browse Source
This commit is contained in:
Robby Findler 2009-09-16 00:35:09 +00:00
parent c26b3b8c6c
commit 8b290c8ad2
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/redex.scrbl
View File

@ -58,7 +58,7 @@
@(define redex-eval (make-base-eval))
@(interaction-eval #:eval redex-eval (require redex/reduction-semantics))
@title{@bold{Redex}: Debugging Operational Semantics}
@title{@bold{Redex}: Practical Semantics Engineering}
@author["Robert Bruce Findler" "Casey Klein"]