{-|
Module: Discokitty
Description: Discokitty implementation of the Discocat framework.
License: GPL-3

This module exports all basic modules of the Discokitty library.
Please note that models and examples should be imported separately.
-}

module Discokitty
  ( module Discokitty.Dimension
  , module Discokitty.HasCups
  , module Discokitty.Lambek
  , module Discokitty.Words
  )
where

import           Discokitty.Dimension
import           Discokitty.HasCups
import           Discokitty.Lambek
import           Discokitty.Words