toki/idris2-profunctors
1
0
Fork 0
Code Issues Pull requests Activity
idris2-profunctors/README.md
Kiana Sheibani a717b58293
Update ipkg
2023-03-07 14:29:31 -05:00

139 B
Raw Permalink Blame History

Profunctors in Idris2

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