mflatt / plai-typed

This is the "plai-typed" package, which provides the "plai-typed"
collection for Racket v5.3.2 or later.

It's meant to be installed with the Racket package manager:

 * In recent versions of DrRacket, choose "Install Package.."
   from the "File" menu, and enter

       plai-typed

   in the dialog.

 * From the comamnd line:

     raco pkg install plai-typed