Rankings: Holes

Happy Numbers in F# in bytes.

# Golfer Points Bytes Time
1st JayXon 🇺🇸 1,000 66
1st lynn 1,000 66
1st primo-ppcg 🇹🇭 1,000 66
1st Lydxn 🇨🇦 1,000 66
1st prplz 🇦🇺 1,000 66
1st Shanethegamer 🇺🇸 1,000 66
1st MeWhenI 🇻🇦 1,000 66
1st Steffan153 🇫🇮 1,000 66
1st Yewzir 1,000 66
1st DialFrost 🇸🇬 1,000 66
11th JDiLenarda 🇫🇷 930 71
12th dokutan 688 96
13th KatieLG 🇬🇧 579 114
13th jiaminglimjm 🇲🇾 579 114
13th KatieLG-Transpiler 🇬🇧 579 114
13th HumanoidCPU 579 114
13th CaedenHarper 🇨🇦 579 114
18th retrohun 462 143
19th mokymok 🇺🇸 452 146
20th Mabeloid 🇳🇴 375 176
21st zt14427 324 204