idris2-profunctors/README.md

# Profunctors in Idris2

This library is a loose port of Haskell's
[profunctors](https://hackage.haskell.org/package/profunctors) library.
Initial commit 2023-03-04 22:15:21 -05:00			`# Profunctors in Idris2`

Update ipkg 2023-03-07 14:29:31 -05:00			`This library is a loose port of Haskell's`
Initial commit 2023-03-04 22:15:21 -05:00			`[profunctors](https://hackage.haskell.org/package/profunctors) library.`