ats-format-0.1.0.1: A source-code formatter for ATS

Index - K

Keyword 
1 (Data Constructor)Language.ATS.Lexer
2 (Type/Class)Language.ATS.Lexer
kindLanguage.ATS.Types
kindFLanguage.ATS.Types
KwAbspropLanguage.ATS.Lexer
KwAbst0pLanguage.ATS.Lexer
KwAbstypeLanguage.ATS.Lexer
KwAbsvtypeLanguage.ATS.Lexer
KwAndLanguage.ATS.Lexer
KwAssumeLanguage.ATS.Lexer
KwBeginLanguage.ATS.Lexer
KwBoolLanguage.ATS.Lexer
KwCaseLanguage.ATS.Lexer
KwCastfnLanguage.ATS.Lexer
KwCharLanguage.ATS.Lexer
KwDatapropLanguage.ATS.Lexer
KwDatatypeLanguage.ATS.Lexer
KwDataviewLanguage.ATS.Lexer
KwDataviewtypeLanguage.ATS.Lexer
KwDatavtypeLanguage.ATS.Lexer
KwElseLanguage.ATS.Lexer
KwEndLanguage.ATS.Lexer
KwExternLanguage.ATS.Lexer
KwFnxLanguage.ATS.Lexer
KwFunLanguage.ATS.Lexer
KwIfLanguage.ATS.Lexer
KwImplementLanguage.ATS.Lexer
KwInLanguage.ATS.Lexer
KwIncludeLanguage.ATS.Lexer
KwIntLanguage.ATS.Lexer
KwLambdaLanguage.ATS.Lexer
KwLetLanguage.ATS.Lexer
KwLinearLambdaLanguage.ATS.Lexer
KwLocalLanguage.ATS.Lexer
KwNatLanguage.ATS.Lexer
KwOfLanguage.ATS.Lexer
KwOverloadLanguage.ATS.Lexer
KwPraxiLanguage.ATS.Lexer
KwPrfnLanguage.ATS.Lexer
KwPrfunLanguage.ATS.Lexer
KwProofImplementLanguage.ATS.Lexer
KwPrvalLanguage.ATS.Lexer
KwSifLanguage.ATS.Lexer
KwStadefLanguage.ATS.Lexer
KwStaloadLanguage.ATS.Lexer
KwStringLanguage.ATS.Lexer
KwT0pLanguage.ATS.Lexer
KwThenLanguage.ATS.Lexer
KwTypeLanguage.ATS.Lexer
KwTypedefLanguage.ATS.Lexer
KwValLanguage.ATS.Lexer
KwVarLanguage.ATS.Lexer
KwViewLanguage.ATS.Lexer
KwVoidLanguage.ATS.Lexer
KwVt0pLanguage.ATS.Lexer
KwVtypedefLanguage.ATS.Lexer
KwWhenLanguage.ATS.Lexer
KwWhereLanguage.ATS.Lexer
KwWhileLanguage.ATS.Lexer
KwWithLanguage.ATS.Lexer