gargamelle-logic-0.1.0.0: src/Gargamelle/Logic/Syntax.hs

module Gargamelle.Logic.Syntax
  ( module Gargamelle.Logic.Signature
  , module Gargamelle.Logic.Defunctionalize
  ) where

import Gargamelle.Logic.Signature
import Gargamelle.Logic.Defunctionalize