liquid-fixpoint-0.8.10.2: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
Source
Contents
Index
Safe Haskell
None
Language
Haskell98
Language.Fixpoint.Horn.Parse
Documentation
hornP
::
Parser
(
Query
(), [
String
])
Source
#