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

module SemanticExplanation where

open import SemanticExplanation.Domain public
open import SemanticExplanation.Discourse public
open import SemanticExplanation.IR public
open import SemanticExplanation.Macro public hiding (_>>=_)
open import SemanticExplanation.Realise public
open import SemanticExplanation.Translate public hiding (_>>=_)