-- Module      : Eser.Equivalences
-- Description : Top level module that import other modules.
-- Copyright   : (c) Lulof Pirée, 2026
-- License     : AGPL-v3
-- Maintainer  : Lulof Pirée
--------------------------------------------------------------------------------
-- See Eser.Equivalences.Notations for the notation conventions.

module Eser.Equivalences where

open import Eser.Equivalences.Notation public
open import Eser.Equivalences.Properties public