Safe Haskell | Safe-Inferred |
---|
StaticAnalysis
StaticAnalysis/Annotated.hs
Interface for abstract syntax data structures in which every node can be annotated with a data structure that represents static analysis results.
Safe Haskell | Safe-Inferred |
---|
StaticAnalysis
StaticAnalysis/Annotated.hs
Interface for abstract syntax data structures in which every node can be annotated with a data structure that represents static analysis results.