A port of profunctors from Haskell to Lean 4.
-
Updated
Jul 28, 2023 - Lean
A port of profunctors from Haskell to Lean 4.
Add a description, image, and links to the profunctor topic page so that developers can more easily learn about it.
To associate your repository with the profunctor topic, visit your repo's landing page and select "manage topics."