Idris-Profunctors icon indicating copy to clipboard operation
Idris-Profunctors copied to clipboard

Published 20 hours ago • verified publisher icon japesinator

Update for Idris 2

Open pinselimo opened this issue 1 year ago • 0 comments

I've updated the entire package for Idris 2. Leaving this PR here so people can find the new version.

pinselimo avatar Nov 03 '22 12:11 pinselimo