plai-typed

plai-typed copied to clipboard

in section 2 are a couple of nit-picky mistakes, I think. My edits below in square brackets. Local binding forms. The local form accommodates multiple definitions that **[ARE]** visible only...

rebcabin

benlongo

All `*` in `('a * 'b)` in the scribble file links to multiplication function, which is totally irrelevant. I would expect it to link to ``` (type * ...+) Types...

sorawee

The value of empty should display as empty

1

When you evaluate `empty` you get `'()` displayed. ``` Racket > empty - (listof 'a) '() ``` But `'()` evaluates to the empty s-expression. ``` Racket > '() - s-expression...

yardsale8