SSTG-0.1.0.6: STG Symbolic Execution

Safe HaskellSafe
LanguageHaskell2010

SSTG.Core.Syntax

Description

Export Module for SSTG.Syntax

Documentation

module SSTG.Core.Syntax.Language

module SSTG.Core.Syntax.Typecheck