Add Redex book too for better balance

This commit is contained in:
Asumu Takikawa 2013-07-07 19:41:06 -04:00 committed by Matthew Flatt
parent 0ae9580d08
commit 66591708f0

View File

@ -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>