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