syntactic-3.5: Generic representation and manipulation of abstract syntax (Index - P)

syntactic-3.5: Generic representation and manipulation of abstract syntax

A
B
C
D
E
F
G
H
I
L
M
N
P
R
S
T
U
V
W
:
All

Index - P

parSubst	Language.Syntactic.Functional
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