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

add Burke as an author of Redex

Browse Source
This commit is contained in:
Robby Findler 2014-07-09 05:55:41 -05:00
parent e991dd4628
commit 4126804942
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/redex-pkgs/redex-doc/redex/redex.scrbl
View File

@ -6,7 +6,7 @@
@title{Redex: Practical Semantics Engineering} @title{Redex: Practical Semantics Engineering}
@author["Robert Bruce Findler" "Casey Klein"] @author["Robert Bruce Findler" "Casey Klein" "Burke Fetscher"]
PLT Redex consists of a domain-specific language for specifying PLT Redex consists of a domain-specific language for specifying
reduction semantics, plus a suite of tools for working with the reduction semantics, plus a suite of tools for working with the