#lang plai-typed not available?

Hello, first post here: I want to work through Shriram Krishnamurthi's PLAI book, but the language specified (#lang plai-typed) does not appear to be included in my Dr.Racket 8.4 Ubuntu distribution.
Is there a way to remedy this?
There is a #lang plai but it doesn't work, I guess it's untyped...
Thanks - Alex

1 Like

The plai-typed library is available in the standard catalog. You should be able to install it using

raco pkg install plai-typed

... at the command-line, or using the "Package Manager" menu in DrRacket.

Ah, thanks for that (and sorry for the noise). Coming back to Racket after a long absence and I'd clean forgotten some stuff.