GitHub repository: waddlaw/liquidhaskell-tutorial
Primary language: TeX
Description: Tutorial for LiquidHaskell