issues
search
japesinator
/
Idris-Profunctors
A small profunctor library for idris
16
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update for Idris 2
#4
pinselimo
opened
2 years ago
0
Doesn't build with Idris 1.3.1
#3
bgavran
opened
5 years ago
2
Prefix the id with namespace to avoid auto-implicit
#2
BartAdv
closed
8 years ago
0
Update for Idris 0.12.1
#1
BartAdv
closed
8 years ago
1