lambdabot-4.3.0.1: Lambdabot is a development tool and advanced IRC bot
Lambdabot.Plugin.Free
Description
Free theorems plugin Andrew Bromage, 2006
freePlugin :: Module ()Source