Rankings: Holes

Pangram Grep in F# in chars.

# Golfer Points Chars Time
1st JDiLenarda 🇫🇷 1,000 89
2nd primo-ppcg 🇹🇭 989 90
2nd lynn 989 90
2nd Shanethegamer 🇺🇸 989 90
2nd SirBogman 🇺🇸 989 90
2nd prplz 🇦🇺 989 90
2nd JayXon 🇺🇸 989 90
2nd Steffan153 🇫🇮 989 90
2nd Lydxn 🇨🇦 989 90
10th HumanoidCPU 957 93
11th DialFrost 🇸🇬 947 94
12th heanyang1 908 98
13th yzhs 🇩🇪 856 104
14th fuchen 848 105
14th MeWhenI 🇻🇦 848 105
16th brianberns 736 121
17th Natanaelel 🇸🇪 627 142
18th RaBa21 597 149
19th BREMAUCY 🇫🇷 543 164
20th Andriamanitra 🇫🇮 520 171
21st ridingqwerty 🇺🇸 514 173
22nd AidanWalter 278 320
23rd KatieLG 🇬🇧 261 341