Idris-Profunctors
Idris-Profunctors copied to clipboard
Update for Idris 2
I've updated the entire package for Idris 2. Leaving this PR here so people can find the new version.
I've updated the entire package for Idris 2. Leaving this PR here so people can find the new version.