Skip to content

Commit 766f530

Browse files
committed
racketblock -> ex.
1 parent 1d0e20f commit 766f530

1 file changed

Lines changed: 3 additions & 3 deletions

File tree

www/notes/1/ocaml-to-racket.scrbl

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -369,7 +369,7 @@ make lists out of any kind of elements. We can precisely
369369
define these sets as:
370370

371371
@#reader scribble/comment-reader
372-
(racketblock
372+
(ex
373373
;; type ListofAny =
374374
;; | '()
375375
;; | (cons Any ListofAny)
@@ -381,7 +381,7 @@ define these sets as:
381381
Or, to give more useful parameterized definitions:
382382

383383
@#reader scribble/comment-reader
384-
(racketblock
384+
(ex
385385
;; type (Listof A) =
386386
;; | '()
387387
;; | (cons A (Listof A))
@@ -830,7 +830,7 @@ expressions}.
830830
We can give a type definition for s-expressions:
831831

832832
@#reader scribble/comment-reader
833-
(racketblock
833+
(ex
834834
;; type S-Expr =
835835
;; | String
836836
;; | Boolean

0 commit comments

Comments
 (0)