{-# OPTIONS --cubical --exact-split #-}

module index where

-- an organised list of modules:
--
-- universal algebra
-- algebraic theories and 2-theories
import Cubical.Structures.Sig
import Cubical.Structures.Str
import Cubical.Structures.Eq
import Cubical.Structures.Coh

-- free algebras
import Cubical.Structures.Free

-- free monoids on sets
import Cubical.Structures.Set.Mon.Free
import Cubical.Structures.Set.Mon.List
import Cubical.Structures.Set.Mon.Array

-- free commutative monoids on sets
import Cubical.Structures.Set.CMon.Free
import Cubical.Structures.Set.CMon.SList
import Cubical.Structures.Set.CMon.CList
import Cubical.Structures.Set.CMon.PList
import Cubical.Structures.Set.CMon.QFreeMon
import Cubical.Structures.Set.CMon.Bag

-- free monoidal groupoids on groupoids
import Cubical.Structures.Gpd.Mon.Free
import Cubical.Structures.Gpd.Mon.List

-- free symmetric monoidal groupoids on groupoids
import Cubical.Structures.Gpd.SMon.Free
import Cubical.Structures.Gpd.SMon.SList

-- sorting and order equivalence
import Cubical.Structures.Set.CMon.SList.Sort

-- combinatorics properties
import Cubical.Structures.Set.CMon.SList.Seely

-- useful experiments
import Experiments.Norm

-- an exhaustive list of all modules:
--
import Everything