search

obsidiansystems / dependent-map

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

Why is Prelude.filter reexported from Data.Dependent.Map? #17

Closed qrilka closed 4 years ago

qrilka commented 7 years ago

It doesn't seem to belong to that module imo

3noch commented 4 years ago

Fixed by #43