Implementations of various lambda calculus based systems. Source code Contents Index

Commander Stability experimental Maintainer thanos@sians.org

Description

Command-line processing for TsouTAPL.

Synopsis

data TsouTAPL = Untyped { prgfile :: FilePath unprotected :: Bool } | Typed { prgfile :: FilePath ctxfile :: [FilePath] unprotected :: Bool } processArgs :: IO TsouTAPL

Documentation

data TsouTAPL Source

Different modes of TsouTAPL. Constructors Untyped prgfile :: FilePath unprotected :: Bool Typed prgfile :: FilePath ctxfile :: [FilePath] unprotected :: Bool Instances Data TsouTAPL Show TsouTAPL Typeable TsouTAPL

processArgs :: IO TsouTAPL Source

Shortcut to process command-line arguments.

Produced by Haddock version 2.4.2