Partial | Language.Syntactic.Syntax, Language.Syntactic |
prj | Language.Syntactic.Syntax, Language.Syntactic |
prjP | Language.Syntactic.Syntax, Language.Syntactic |
prLam | Language.Syntactic.Functional |
Project | Language.Syntactic.Syntax, Language.Syntactic |
prVar | Language.Syntactic.Functional |