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

    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
    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 duckyluuk 🇳🇱 636 140
    19th Natanaelel 🇸🇪 627 142
    20th RaBa21 🇭🇺 597 149
    21st BREMAUCY 🇫🇷 543 164
    22nd Andriamanitra 🇫🇮 520 171
    23rd ridingqwerty 🇺🇸 514 173
    24th albanian-laundromat 478 186
    25th snoozingnewt 🇺🇸 436 204
    26th AidanWalter 278 320
    27th blaztoma 🇱🇹 264 337
    28th KatieLG 🇬🇧 261 341