{-|
Module      : Docs.Multiplicative
Description : Examples and properties of the tile algebra
Copyright   : (c) David Janin, 2016
License     : see the LICENSE file in the distribution
Maintainer  : janin@labri.fr
Stability   : experimental

Contraction, expansion and a resulting tile product.

-}

module Docs.Multiplicative where

import Tile.Tile