wild-algebra.agda

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

module wild-algebra where

open import wild-algebra.wild-groups public
open import wild-algebra.wild-monoids public
open import wild-algebra.wild-unital-magmas public