From 66591708f0e9b37013c9de602f40d845aa45815e Mon Sep 17 00:00:00 2001
From: Asumu Takikawa <asumu@ccs.neu.edu>
Date: Sun, 7 Jul 2013 19:41:06 -0400
Subject: [PATCH] Add Redex book too for better balance

---
 new-racket-web/index.html | 17 +++++++++++++++--
 1 file changed, 15 insertions(+), 2 deletions(-)

diff --git a/new-racket-web/index.html b/new-racket-web/index.html
index facc8ca6cd..258b72396a 100644
--- a/new-racket-web/index.html
+++ b/new-racket-web/index.html
@@ -434,7 +434,7 @@ and system builder.</p>
   <h4>Realm of Racket</h4>
   <p>Learn Racket, one game at a time</p>
   <ul>
-    <li>See the realm package</li>
+    <li>Sample code included with Racket</li>
     <li>For the Racket beginner</li>
   </ul>
 </div>
@@ -449,7 +449,7 @@ and system builder.</p>
     <img src="img/plai-cover.jpg" />
   </a>
 </div>
-<div class="eight columns">
+<div class="four columns">
   <h4>PLAI</h4>
   <p>Foundations of Programming langauges</p>
   <ul>
@@ -458,6 +458,19 @@ and system builder.</p>
   </ul>
 </div>
 
+<div class="four columns">
+  <h4>Semantics Engineering with PLT Redex</h4>
+  <p>Lightweight automation for semantics</p>
+  <ul>
+    <li>Model your own programming language semantics</li>
+    <li>For the working language engineer</li>
+  </ul>
+</div>
+<div class="two columns image rounded">
+  <a href="http://redex.racket-lang.org/">
+    <img src="img/redex-cover.jpg" />
+  </a>
+</div>
 </div>
 
 </div>