GitHub repository: JankaGramofonomanka/idris-dependent-map
Primary language: Idris
Created: 2024-10-18T16:18:17Z
Description: A port of the `dependent-map` package from Haskell