lambdabot-4.3.0.1: Lambdabot is a development tool and advanced IRC bot
Lambdabot.Plugin.Check
Description
Test a property with QuickCheck
checkPlugin :: Module ()Source