Kurt has updated FSCheck, a port of QuickCheck, for the F# CTP

http://cs.hubfs.net/forums/thread/6604.aspx

[Update 2: I converted the old F# project to a shiny new .fsproj compatible with the F# September CTP which was released yesterday. ...]