toki/idris2-profunctors
1
0
Fork 0
Code Issues Pull requests Activity
55 commits 1 branch 2 tags 97 KiB

Tags

v1.1.0

2023-03-08 15:05:57 -05:00 3f6936b5b1 ZIP TAR.GZ

v1.0.0

2023-03-07 14:29:31 -05:00 a717b58293 ZIP TAR.GZ