liquidhaskell-0.8.10.1: Liquid Types for Haskell
Contents
Index
Safe Haskell
None
Language
Haskell98
Language.Haskell.Liquid.Synthesize
Documentation
synthesize
::
FilePath
-> Config ->
CGInfo
->
IO
[
Error
]
#