↑ Top

---

The Cubical Module of the Agda Universal Algebra Library</a>

This module collects all submodules of the library that depend on the Cubical Agda library.

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

module Cubical where

open import Cubical.Overture

---

↑ top Cubical.Overture →