search

obsidiansystems / dependent-map

Dependently-typed finite maps (partial dependent products)
Other
63 stars 33 forks source link

Make it build with ghc 9.10 #52

Closed erikd closed 4 months ago

ali-abrar commented 4 months ago

Published as a revision on hackage

ali-abrar commented 4 months ago

thanks!