idris support https://github.com/lopex/multibot/commit/2f21605c8717365980b64e31bd6a0f3ac729048b