issues
search
obsidiansystems
/
dependent-sum
Dependent sums and supporting typeclasses for comparing and displaying them
54
stars
39
forks
source link
bump constraints-extras
#73
Closed
cgibbard
closed
1 year ago