GitHub repository: ucsd-progsys/mist
Primary language: Haskell
Created: 2018-10-22T23:40:31Z
Description: A tiny language for teaching and experimenting with Refinement Types