module Cubical.Experiments.HAEquivInt where

open import Cubical.Experiments.HAEquivInt.Base public