From 84ea76fb3d8bb16bdac795db11a8fcca45a998f4 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 8 Jul 2013 17:55:09 -0400 Subject: [PATCH] minor learning section changes --- new-racket-web/index.html | 31 +++++++++++++++++-------------- 1 file changed, 17 insertions(+), 14 deletions(-) diff --git a/new-racket-web/index.html b/new-racket-web/index.html index 34a095d787..60dedab65e 100644 --- a/new-racket-web/index.html +++ b/new-racket-web/index.html @@ -418,39 +418,42 @@ and system builder.

-
+
-

How to Design Programs

-

A principled approach to designing programs

+
How to Design Programs
+

A principled approach to program design

    -
  • DrRacket + teaching languages
  • -
  • For the programming novice
  • +
  • Teaching language support built-in to DrRacket
  • +
  • Aimed at the programming novice
-

Realm of Racket

-

Learn Racket, one game at a time

+
Realm of Racket
+

Learn Racket and programming, one game at a time

    -
  • Sample code included with Racket
  • -
  • For the Racket beginner
  • +
  • Sample game code comes with the Racket distribution
  • +
  • For those just starting out with Racket
-
+
+
+ +
-
+
-

PLAI

+
PLAI

Foundations of programming languages

  • Understand the features that make languages tick
  • @@ -459,14 +462,14 @@ and system builder.

-

Semantics Engineering with PLT Redex

+
Semantics Engineering with PLT Redex

Lightweight automation for semantics

  • Model your own programming language semantics
  • For the working language engineer
-
+