Cubical.Overture module (of the agda-algebras library)


{-# OPTIONS --without-K --exact-split --safe --cubical #-}

module Cubical.Overture where

import Cubical.Overture.Preliminaries