BetaT | Language.Symantic.Transforming.Beta, Language.Symantic.Transforming, Language.Symantic |
betaT | Language.Symantic.Transforming.Beta, Language.Symantic.Transforming, Language.Symantic |
betaTerm | Language.Symantic.Compiling.Beta, Language.Symantic.Compiling, Language.Symantic |
betaTerms | Language.Symantic.Compiling.Beta, Language.Symantic.Compiling, Language.Symantic |
BetaT_Lam1 | Language.Symantic.Transforming.Beta, Language.Symantic.Transforming, Language.Symantic |
BetaT_Unk | Language.Symantic.Transforming.Beta, Language.Symantic.Transforming, Language.Symantic |