japesinator / Idris-ProfunctorsLinks

A small profunctor library for idris
17Updated 2 years ago

Alternatives and similar repositories for Idris-Profunctors

Users that are interested in Idris-Profunctors are comparing it to the libraries listed below

Sorting: