Profunctors in Idris2
This library is a loose port of Haskell's profunctors library.
Mirror of https://git.tokinanpa.dev/toki/idris2-profunctors
This library is a loose port of Haskell's profunctors library.
Mirror of https://git.tokinanpa.dev/toki/idris2-profunctors
MIT License