| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Proof.Assistant.Rzk
Synopsis
Documentation
callRzk :: InterpreterState InternalInterpreterSettings -> InterpreterRequest -> IO ByteString Source #
Call Polilyngual API. Rzk will do all the job and return response or an error as result.