GitHub repository: ucsd-progsys/liquidhaskell-tutorial
Primary language: JavaScript
Description: Tutorial for LiquidHaskell