GitHub repository: nikita-volkov/refined
Primary language: Haskell
Created: 2015-04-27T17:57:44Z
Description: Refinement types with static checking