cubical-0.1.0: examples/commutative.cub

module weq where

import univ

com : U -> U
com = pair (A -> A -> A) (