GitHub repository: HuwCampbell/Idris-Bifunctors
Primary language: Idris
Description: A small bifunctor library for idris