GitHub repository: pheymann/specdris
Primary language: Idris
Created: 2017-07-05T10:47:43Z
Description: A test framework for Idris