GitHub repository: ucsd-progsys/lh-workshop
Primary language: JavaScript
Created: 2015-05-15T04:04:33Z
Description: Materials for 2-hr LiquidHaskell Workshop