copilot-0.21: A lazy-list language for generating constant-time and constant-space C programs. Uses Atom as a backend.

Index - V

vLanguage.Copilot.Variables
Var 
1 (Data Constructor)Language.Copilot.Core, Language.Copilot
2 (Type/Class)Language.Copilot.Core, Language.Copilot
varLanguage.Copilot.Language
varBLanguage.Copilot.Language
varDLanguage.Copilot.Language
varDeclLanguage.Copilot.AdHocC
varFLanguage.Copilot.Language
varI16Language.Copilot.Language
varI32Language.Copilot.Language
varI64Language.Copilot.Language
varI8Language.Copilot.Language
VarsLanguage.Copilot.Core, Language.Copilot
varW16Language.Copilot.Language
varW32Language.Copilot.Language
varW64Language.Copilot.Language
varW8Language.Copilot.Language
Verbose 
1 (Type/Class)Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
2 (Data Constructor)Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
verifyLanguage.Copilot.Interface, Language.Copilot