@hackage AspectAG0.6.0.0

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.