GitHub repository: spcfox/deptycheck
Primary language: Idris
Description: Facilities for generating dependently-typed data