search

obsidiansystems / dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them
54 stars 39 forks source link

dependent-sum 0.7.0.0 #49

Closed 3noch closed 4 years ago