fnotation-0.2.0.0: src/FNotation.hs

module FNotation (
  module FNotation.Config,
  module FNotation.Lexer,
  module FNotation.Names,
  module FNotation.Parser,
  module FNotation.Pretty,
  module FNotation.Kinds,
  module FNotation.Trees,
)
where

import FNotation.Config
import FNotation.Kinds (Kind)
import FNotation.Lexer (LexerCode (..), lex, lexerCodeTable)
import FNotation.Names
import FNotation.Parser (ParserCode (..), parse, parserCodeTable)
import FNotation.Pretty (dprettyWithConfigs)
import FNotation.Trees (Ntn, Ntn0, NtnGeneric (..), head, span, pattern Decl, pattern Group)