@hackage AspectAG0.7.0.1
Strongly typed Attribute Grammars implemented using type-level programming.
Installation
Dependencies (8)
Dependents (5)
@hackage/acme-everything, @hackage/expand, @hackage/oberon0, @hackage/SyntaxMacros, @hackage/murder
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.