fsharp proj modfied