GitHub repository: waddlaw/TAPL
Primary language: Haskell
Description: Types and Programming Languages (TAPL)