{-|
Module      : Docs.Normalization
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

Nibbling tiles...

-}

module Docs.Normalization where

import Tile.Tile