search

obsidiansystems / dependent-map

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

Add GHC-8.8.1 travis job, relax containers lower bound to allow bundl… #35

Closed phadej closed 5 years ago

phadej commented 5 years ago

…ed version

phadej commented 5 years ago

ping