An open source platform game for iOS in F#