proof-assistant-bot-0.2.0: Telegram bot for proof assistants

Safe Haskell	Safe-Inferred
Language	Haskell2010

Proof.Assistant.Version

Synopsis

rzkVersion :: String
proofAssistantBotVersion :: String
makeVersion :: Text -> Text

Documentation

rzkVersion :: String Source #

Version of Rzk.

proofAssistantBotVersion :: String Source #

Version of this package.

makeVersion :: Text -> Text Source #

Helper to build version from template message.