From 4126804942964826c045cf89a105ea82fcf372b8 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 9 Jul 2014 05:55:41 -0500 Subject: [PATCH] add Burke as an author of Redex --- pkgs/redex-pkgs/redex-doc/redex/redex.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/redex-pkgs/redex-doc/redex/redex.scrbl b/pkgs/redex-pkgs/redex-doc/redex/redex.scrbl index 0b98f621b0..c84b7668dc 100644 --- a/pkgs/redex-pkgs/redex-doc/redex/redex.scrbl +++ b/pkgs/redex-pkgs/redex-doc/redex/redex.scrbl @@ -6,7 +6,7 @@ @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 reduction semantics, plus a suite of tools for working with the