toki/idris2-profunctors
1
0
Fork 0
Code Issues Pull requests Activity

Compare commits

base: toki:e862ef887f9dcdf90eacb1ca1c0a997d7a251135
Branches Tags
toki:main
toki:v1.1.0
toki:v1.0.0
...
compare: toki:4be8bc5dfc72927a3088daa480570a8e9d887c42
Branches Tags
toki:main
toki:v1.1.0
toki:v1.0.0
The selected branch/tag are equal.