IRC moved to platform
[cloogle-irc.git] / IRCBot.dcl
2018-09-20 Mart LubbersClean up imports
2018-04-04 Mart LubbersUpdate to latest clean-selectloop master
2018-04-03 Mart Lubbersupdate bot to work with clean-selectloop
2017-07-25 dopefishhMerge pull request #13 from clean-cloogle/pr-better...
2017-07-24 Mart Lubberscompiles, but doesn't work, probably strictness?
2017-07-18 Mart Lubbersattempt better output, uniqueness error
2017-03-12 Mart Lubbersextended parsing and added bot interface, note that...