# \#lang plai-typed not available?

**URL:** <https://racket.discourse.group/t/lang-plai-typed-not-available/840>\
**Category:** Questions & Answers\
**Tags:** drracket\
**Created:** [April 2, 2022, 12:02am UTC](https://racket.discourse.group/t/lang-plai-typed-not-available/840 "2022-04-02T00:02:33Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![AlexG](https://avatars.discourse-cdn.com/v4/letter/a/ecc23a/32.png) [@AlexG](https://racket.discourse.group/u/AlexG)\
**Post date:** [April 2, 2022, 12:02am UTC](https://racket.discourse.group/t/lang-plai-typed-not-available/840/1 "2022-04-02T00:02:33Z")

</div>

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

---

<div class="post-metadata">

**Author:** ![jbclements](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/jbclements/32/11_2.png) [@jbclements](https://racket.discourse.group/u/jbclements)\
**Post date:** [April 2, 2022, 12:23am UTC](https://racket.discourse.group/t/lang-plai-typed-not-available/840/2 "2022-04-02T00:23:55Z")

</div>

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

```scheme
raco pkg install plai-typed

```

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

---

<div class="post-metadata">

**Author:** ![AlexG](https://avatars.discourse-cdn.com/v4/letter/a/ecc23a/32.png) [@AlexG](https://racket.discourse.group/u/AlexG)\
**Post date:** [April 2, 2022, 1:51am UTC](https://racket.discourse.group/t/lang-plai-typed-not-available/840/3 "2022-04-02T01:51:37Z")

</div>

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