---
# System prepended metadata

title: Idris Discord server suggestion box

---

# Idris Discord server suggestion box

- It would be nice to have an Idris2 bot that interprets programs
    - For example it could ingest code blocks in triple backquotes
    - or a single line with `\>`
- We should have a FAQ on the discord server itself
- There should be a channel for tutorials and reference material
- I would like to see introductory material of theorem proving with Idris