GitHub repository: ucsd-progsys/intro-refinement-types
Primary language: JavaScript
Created: 2016-01-11T18:41:49Z
Description: Introductory Tutorial on Refinement Types