hvr / dependent-map

Dependently-typed finite maps (partial dependent products)

Geek Repo

Github PK Tool