Stability | experimental |
---|---|
Safe Haskell | Safe-Inferred |
This folder contains the files for Top Hybrid Logic basic specs.
- TopHybrid.AS_TopHybrid abstract syntax
- TopHybrid.Parse_AS parser
- TopHybrid.TopHybridSign signatures
- TopHybrid.ATC_TopHybrid This is automatically generated
- TopHybrid.Logic_TopHybrid the Hybrid instance of type class
Logic
- "TopHybrid.StatAna.hs"