search

japesinator / Idris-Profunctors

A small profunctor library for idris
16 stars 6 forks source link

Prefix the id with namespace to avoid auto-implicit #2

Closed BartAdv closed 8 years ago

BartAdv commented 8 years ago

...and this time it does not complain about them being explicitly declared.