search

obsidiansystems / dependent-map

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

Document key bias #11

Open treeowl opened 8 years ago

treeowl commented 8 years ago

Data.Map always uses the keys from left arguments in preference to right ones. I can't tell what the rules are here, if there are any. I think this should either be specified or documented as unspecified. Either is fine.