maam-0.2.0.1: An application of the Galois Transformers framework to two example semantics.

Safe HaskellNone
LanguageHaskell2010

Lang.LamIf.Examples

Documentation

examplesMain :: IO () Source

makeOptions :: [String] -> [String] -> [String] -> [String] -> [String] -> [String] -> [String] -> [String] -> [(Doc, Options)] Source

runOptions :: [(Doc, Options)] -> RawExp -> Doc Source

flowSensitivityMain :: IO () Source

callSiteSensitivityMain :: IO () Source

objectSensitivityMain :: IO () Source