syntactic-3.2: Generic representation and manipulation of abstract syntax
Language.Syntactic.Sugar.BindingTyped
Description
Syntactic instance for functions for domains based on Typed and BindingT
Syntactic
Typed
BindingT