{-| 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