CSPM-cspm-0.6.0.4: cspm command line tool for analyzing CSPM specifications.

PortabilityGHC-only
Stabilityexperimental
MaintainerFontaine@cs.uni-duesseldorf.de
Safe HaskellSafe-Infered

CSPM.Lua

Description

A Lua interface for the CSPM tool.

Documentation

runLua :: String -> String -> [String] -> IO ()Source