{-# OPTIONS_HADDOCK hide #-}
module Mikan.Syntax.Internal
  ( module Mikan.Syntax.Internal.Telescope
  , module Mikan.Syntax.Internal.Pattern
  , module Mikan.Syntax.Internal.Clause
  , module Mikan.Syntax.Internal.Term
  , module Mikan.Syntax.Internal.Dom
  ) where

import Mikan.Syntax.Internal.Telescope
import Mikan.Syntax.Internal.Pattern
import Mikan.Syntax.Internal.Clause
import Mikan.Syntax.Internal.Term
import Mikan.Syntax.Internal.Dom