anoma / geb

A Categorical View of Computation
https://anoma.github.io/geb/
GNU General Public License v3.0
28 stars 10 forks source link

Move width Generic #153

Closed agureev closed 1 year ago

agureev commented 1 year ago

Moves width to the relevant package, creating an appropriate function and upgrades all references.

agureev commented 1 year ago

This addresses Issue #151