GitHub repository: JankaGramofonomanka/idris-dtypes
Primary language: Idris
Description: dependent variants of common idris/haskell types and interfaces