Extension of Agda's standard library to accommodate a more typeclass-friendly interface. - View it on GitHub
Star
0
Rank
13944860