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

module Dialogue where

import Dialogue.Core as Core
import Dialogue.Normalize as Normalize

open Core hiding (module ⊢) public
open Normalize hiding (module ⊢) public

module ⊢ where
  open Core.⊢ public
  open Normalize.⊢ public