Macil-dev

{-
Extension tree-encoding (TATA) or tree currying (elsewhere) is a tricky beast. Understanding
requires a certain focus of mind.
This simple program generates dot representation of hedge- and extension-encoded trees.
This helps to explore certain corner-cases crucial for understanding.
It uses dotgen package for Graphviz handling.
-}
module Main where

import Control.Monad

Macil-dev

{-#LANGUAGE DeriveGeneric #-}
{-#LANGUAGE FlexibleInstances #-}
{-#LANGUAGE TypeSynonymInstances#-}
{-#LANGUAGE TypeOperators #-}
{-#LANGUAGE ScopedTypeVariables #-}

module Main where

import GHC.Generics