/idris2-profunctors

Mirror of https://git.tokinanpa.dev/toki/idris2-profunctors

Primary LanguageIdrisMIT LicenseMIT

Profunctors in Idris2

This library is a loose port of Haskell's profunctors library.