GitHub repository: nikivazou/lh-workshop
Primary language: JavaScript
Description: Materials for LambdaConf LiquidHaskell Workshop