syntactic-3.2: Generic representation and manipulation of abstract syntax
Language.Syntactic.Sugar.TupleTyped
Description
Syntactic instances for tuples and Typed symbol domains
Syntactic
Typed