{-# OPTIONS --safe --cubical --no-sized-types --no-guardedness #-}

module SemanticExplanation.Everything where

-- Typechecking this module typechecks every module in semantic-explanation.
import SemanticExplanation
import SemanticExplanation.Base
import SemanticExplanation.Discourse
import SemanticExplanation.Domain
import SemanticExplanation.IR
import SemanticExplanation.Macro
import SemanticExplanation.Realise
import SemanticExplanation.Reflection.Reduce
import SemanticExplanation.Reflection.View
import SemanticExplanation.Translate
import SemanticExplanation.Test.Core
import SemanticExplanation.Test.CubicalImport
import SemanticExplanation.Test.Everything
import SemanticExplanation.Test.ExpandedFixtures
import SemanticExplanation.Test.ExpandedShowcase
import SemanticExplanation.Test.ExpressionCore
import SemanticExplanation.Test.Fixtures