@hackage AspectAG0.5.0.0

Strongly typed Attribute Grammars implemented using type-level programming.

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