Play-typed
Esta é uma descrição da linguagem Plai-typed que vai ser utilizada para desenvolver os interpretadores que serão os exercícios programa do curso.
Voce vai precisar instalar o pacote no Racket.
Para isso vá ao menu "file", selecione a opção "install package" e digite "plai-typed" na janela de instalação.
Clique no link Gubi-Plai_Typed.pdf para ver o arquivo.