syntactic-2.0: Generic representation and manipulation of abstract syntax

Index - I

injData.Syntactic.Syntax, Data.Syntactic
InjLData.Syntactic.Syntax, Data.Syntactic
InjRData.Syntactic.Syntax, Data.Syntactic
InternalData.Syntactic.Sugar, Data.Syntactic
interpretationInstancesData.Syntactic.Interpretation, Data.Syntactic