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