Source code on Github
------------------------------------------------------------------------
-- Types with a default value.
------------------------------------------------------------------------

{-# OPTIONS --cubical-compatible #-}
module Class.Default where

open import Class.Default.Core public
open import Class.Default.Instances public