obsidiansystems / dependent-map

Dependently-typed finite maps (partial dependent products)

Other

63 stars 33 forks source link

More funcs for DMaps #40

Closed 3noch closed 4 years ago

3noch commented 4 years ago

33 with a local branch