[Nim/Idris] A little IRC bot, just for fun.
Primary LanguageIdrisMIT LicenseMIT
No issues in this repository yet.