# Poor man's test suite

test:
	ghci -isrc -iexamples/logic -e main examples/logic/LogicStrategies.hs -package QuickCheck-1.1.0.0