A library for converting generic reps of Sum and Product to row types, for whatever convenient usage needs at the type level. - View it on GitHub
Star
8
Rank
1501550