language-gcl-0.0.1: Something similar to Dijkstra's guarded command language

Index

AlternativeLanguage.GuardedCommands
AssertLanguage.GuardedCommands.Extended
AssignLanguage.GuardedCommands.Extended
AssumeLanguage.GuardedCommands.Extended
DeclareLanguage.GuardedCommands.Extended
ExtendedGCLLanguage.GuardedCommands.Extended
GC 
1 (Type/Class)Language.GuardedCommands
2 (Data Constructor)Language.GuardedCommands
GCL 
1 (Type/Class)Language.GuardedCommands
2 (Data Constructor)Language.GuardedCommands.Extended
pExtendedGCLLanguage.GuardedCommands.Extended
pGCLLanguage.GuardedCommands
pGuardedCommandLanguage.GuardedCommands
pGuardedCommandSetLanguage.GuardedCommands
pGuardedListLanguage.GuardedCommands
RepetitiveLanguage.GuardedCommands
StatementLanguage.GuardedCommands