Ctrl+P again to print, arrows/tab to navigate results, enter to confirm

    Rankings: Holes

    Pangram Grep in F# in bytes.

    # Golfer Points Bytes 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
    11th dokutan 947 94
    13th heanyang1 908 98
    14th yzhs 🇩🇪 856 104
    15th fuchen 848 105
    15th MeWhenI 🇻🇦 848 105
    17th brianberns 736 121
    18th Natanaelel 🇸🇪 627 142
    19th RaBa21 🇭🇺 597 149
    20th BREMAUCY 🇫🇷 543 164
    21st Andriamanitra 🇫🇮 520 171
    22nd ridingqwerty 🇺🇸 514 173
    23rd albanian-laundromat 478 186
    24th AidanWalter 278 320
    25th KatieLG 🇬🇧 261 341