↑ Top
The Demos Module of the Agda Universal Algebra Library
{-#
OPTIONS
--without-K
--exact-split
--safe
#-}
module
Demos
where
open
import
Demos.HSP