Skip to content

Commit

Permalink
Update htdp-langs.scrbl to specify teaching lang language directives
Browse files Browse the repository at this point in the history
Update htdp-langs.scrbl to specify teaching lang language directives
  • Loading branch information
spdegabrielle authored and mfelleisen committed Jan 24, 2025
1 parent 225052d commit bfaf678
Showing 1 changed file with 12 additions and 0 deletions.
12 changes: 12 additions & 0 deletions htdp-doc/scribblings/htdp-langs/htdp-langs.scrbl
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,18 @@ because you see no colors, does not mean that your program has been
fully tested; it simply means that each part of the program has been run
(at least once).

While these languages are normally selected using the Choose Language dialog
in DrRacket, they can also be accessed using the @litchar{#lang} language
directive as the first line of code in DrRacket or other editors.

@itemize[
@item{Beginning Student @litchar{#lang htdp/bsl}}
@item{Beginning Student with List Abbreviations @litchar{#lang htdp/bsl+}}
@item{Intermediate Student @litchar{#lang htdp/isl}}
@item{Intermediate Student with lambda @litchar{#lang htdp/isl+}}
@item{Advanced Student @litchar{#lang htdp/asl}}
]

@table-of-contents[]

@;------------------------------------------------------------------------
Expand Down

0 comments on commit bfaf678

Please sign in to comment.