packages feed

microecta-0.1.0.0: src/Data/ECTA/Term.hs

-- | Public re-export of concrete terms and symbols.
module Data.ECTA.Term (
    Symbol (Symbol),
    Term (..),
) where

import Data.ECTA.Internal.Term