japesinator/Idris-Profunctors

A small profunctor library for idris

Idris