Get rid of *Tag classes

obsidiansystems / dependent-map

Dependently-typed finite maps (partial dependent products)

Other

63 stars 33 forks source link

Closed Ericson2314 closed 5 years ago

Ericson2314 commented 5 years ago

Depends on mokus0/dependent-sum#23. Also should depend on getting rid of GHC <8 support in this repo.

Ericson2314 commented 5 years ago

CC @cgibbard

treeowl commented 5 years ago

It's really hard to see the meat of this PR. Could you maybe squash some commits, leaving the whitespace commit separate?

ali-abrar commented 5 years ago

Depends on mokus0/dependent-sum#23. Also should depend on getting rid of GHC <8 support in this repo.

That's been merged and released as dependent-sum-0.6

ali-abrar commented 5 years ago

It's really hard to see the meat of this PR. Could you maybe squash some commits, leaving the whitespace commit separate?

You can select a range of commits excluding the whitespace commit. Here's the result of doing that.