Revert "Make Some more faithfully imitate a datatype" - Githubissues

obsidiansystems / dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them

54 stars 39 forks source link

Revert "Make Some more faithfully imitate a datatype" #36

Closed ali-abrar closed 5 years ago

ali-abrar commented 5 years ago

@ryantrinkle

ali-abrar commented 5 years ago

Released as http://hackage.haskell.org/package/dependent-sum-0.6.2.0