proof-assistant-bot-0.2.0: Telegram bot for proof assistants
Safe HaskellSafe-Inferred
LanguageHaskell2010

Proof.Assistant.Version

Synopsis

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.