F# demo application