GitHub repository: mvv/data-checked
Primary language: Haskell
Description: Type-indexed runtime-checked properties for Haskell