SSTG-0.1.1.1: STG Symbolic Execution

Safe HaskellNone
LanguageHaskell2010

SSTG

Description

Export Module for SSTG

Documentation

module SSTG.Core

module SSTG.Utils