GitHub repository: pinselimo/Idris2-Profunctors
Primary language: Idris
Description: A small profunctor library for idris2