Another specification framework for F Sharp - View it on GitHub