search

obsidiansystems / dependent-map

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

Add alterF to the export list #23

Closed mankyKitty closed 6 years ago

mankyKitty commented 6 years ago

Could be useful if this handy function is actually exported. Ahem.