GitHub repository: mattpolzin/idris-indexed
Primary language: Idris
Created: 2021-11-29T06:39:11Z
Description: Indexed Functor/Applicative/Monad interfaces and helpers