module SemanticExplanation.Tutorial.Everything where

-- Typechecking this module typechecks every integer-arithmetic tutorial module.
import SemanticExplanation.Tutorial.IntegerArithmetic