Telegram chat bot to get Formality lib terms and information about Moonad and Formality.

Telegram commands
/fm_version - npm formality-lang version
/moonad - Access Moonad interface
/provit - Access Provit example (sketch)
/beginners_guide - Useful resources to start learning Formality
/qtd_terms - Get the actual quantity of Formality terms

Running the bot

• Download this repo
• npm i
• set your .env file
• node index.js

Contributions to improve it are welcome!