minor learning section changes

This commit is contained in:
Sam Tobin-Hochstadt 2013-07-08 17:55:09 -04:00 committed by Matthew Flatt
parent 3444c978b8
commit 84ea76fb3d

View File

@ -418,39 +418,42 @@ and system builder.</p>
<div class="row">
<div class="valign row">
<div class="two columns image rounded">
<div class="two columns image rounded" style="margin-top: 2pt">
<a href="http://www.htdp.org"><img src="img/htdp-cover.gif" /></a>
</div>
<div class="four columns">
<h4>How to Design Programs</h4>
<p>A principled approach to designing programs</p>
<div class="panetitle">How to Design Programs</div>
<p>A principled approach to program design</p>
<ul>
<li>DrRacket + teaching languages</li>
<li>For the programming novice</li>
<li>Teaching language support built-in to DrRacket</li>
<li>Aimed at the programming novice</li>
</ul>
</div>
<div class="four columns">
<h4>Realm of Racket</h4>
<p>Learn Racket, one game at a time</p>
<div class="panetitle">Realm of Racket</div>
<p>Learn Racket and programming, one game at a time</p>
<ul>
<li>Sample code included with Racket</li>
<li>For the Racket beginner</li>
<li>Sample game code comes with the Racket distribution</li>
<li>For those just starting out with Racket</li>
</ul>
</div>
<div class="two columns image rounded">
<div class="two columns image rounded" style="margin-top: 2pt">
<a href="http://www.realmofracket.com"><img src="img/racket_cover_web.png" /></a>
</div>
</div>
</div>
<div class="row">
<div class="valign row">
<div class="two columns image rounded">
<div class="two columns image rounded" style="margin-top: 2pt">
<a href="http://cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-04-26/">
<img src="img/plai-cover.jpg" />
</a>
</div>
<div class="four columns">
<h4>PLAI</h4>
<div class="panetitle">PLAI</div>
<p>Foundations of programming languages</p>
<ul>
<li>Understand the features that make languages tick</li>
@ -459,14 +462,14 @@ and system builder.</p>
</div>
<div class="four columns">
<h4>Semantics Engineering with PLT Redex</h4>
<div class="panetitle">Semantics Engineering with PLT Redex</div>
<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">
<div class="two columns image rounded" style="margin-top: 2pt">
<a href="http://redex.racket-lang.org/">
<img src="img/redex-cover.jpg" />
</a>