obsidiansystems / dependent-sumLinks

Dependent sums and supporting typeclasses for comparing and displaying them
56Updated last year

Alternatives and similar repositories for dependent-sum

Users that are interested in dependent-sum are comparing it to the libraries listed below

Sorting: