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