index

{-# OPTIONS --safe --without-K #-}

module AlgebraicStructuresForcingSethood.index where

import AlgebraicStructuresForcingSethood.CommutativeLoopSpaces    -- by Tom de Jong
import AlgebraicStructuresForcingSethood.Majority                 -- by Jakub Opršal
import AlgebraicStructuresForcingSethood.Majority-streamlined     -- by Tom de Jong
import AlgebraicStructuresForcingSethood.Semilattices             -- by Martin Escardo based on David Wärn
import AlgebraicStructuresForcingSethood.Semilattices-streamlined -- by Tom de Jong
import AlgebraicStructuresForcingSethood.SimpleCaseOfWillard      -- by Jakub Opršal
import AlgebraicStructuresForcingSethood.WeakNearUnanimity        -- by Jakub Opršal