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.