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 profunctors topic page so that developers can more easily learn about it.
To associate your repository with the profunctors topic, visit your repo's landing page and select "manage topics."