@hackage AspectAG0.7.0.1

Strongly typed Attribute Grammars implemented using type-level programming.

An EDSL implementing strongly typed -and strongly kinded!- attribute grammars implemented using type-level programming. We make an effort to encode precise EDSL type errors.