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