Rankings: Holes

Set in F# in chars.

# Golfer Points Chars Time