plaitypus (racket): Typed variant of #lang plai. Forked from plai-typed, brought closer to #lang plai.
Keywords: language|textbook|typed