You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
(* We define "dimensions" to be type-level natural numbers. However, in the interface we expose only that they are a type-level monoid with some extra structure. Thus, the implementation is parametric over a specification of dimensions and their operators. *)