Source code on Github
{-# OPTIONS --cubical-compatible #-}
module Class.HasAdd where

open import Class.HasAdd.Core public
open import Class.HasAdd.Instance public