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

    Rankings: Holes

    λ in all languages in bytes.

    # Golfer Points Bytes Time Submitted
    947th Yewzir 🇧🇪 493 1,008
    947th FortuiteMan 🇫🇷 493 1,008
    947th dokutan 493 1,008
    947th madeforlosers 493 1,008
    947th HumanoidCPU 493 1,008
    947th bac0id 493 1,008
    947th Mabeloid 🇳🇴 493 1,008
    947th JunkIce 493 1,008
    947th CaedenHarper 🇨🇦 493 1,008
    947th heanyang1 493 1,008
    947th gigaprofisi 🇺🇸 493 1,008
    947th Babafaba 493 1,008
    947th JOrE20 493 1,008
    974th ToriTheChicken 493 1,009
    974th mothcolada 🇺🇸 493 1,009
    974th jb-lopez 🇺🇸 493 1,009
    974th ehulinsky 🇺🇸 493 1,009
    978th janbehrens 🇩🇪 492 345
    979th rhdqor213 492 554
    980th MeWhenI 🇻🇦 492 681
    981st SpareManiKatti 492 1,010
    982nd Mojken 492 1,011
    982nd decorator-factory 492 1,011
    982nd TheAristos 492 1,011
    982nd UBKorkut 492 1,011
    986th jusaka 492 1,027
    987th argusdusty 🇺🇸 491 673
    988th jusaka 491 1,013
    989th KatieLG-Transpiler 🇬🇧 491 1,029
    990th KatieLG 🇬🇧 490 1,003
    991st JRaspass 🇬🇧 490 1,018
    991st KatieLG-Transpiler 🇬🇧 490 1,018
    991st retrohun 490 1,018
    991st FortuiteMan 🇫🇷 490 1,018
    991st voytxt 🇨🇿 490 1,018
    991st Shanethegamer 🇺🇸 490 1,018
    991st madeforlosers 490 1,018
    991st HumanoidCPU 490 1,018
    991st bac0id 490 1,018
    991st Mabeloid 🇳🇴 490 1,018
    991st CaedenHarper 🇨🇦 490 1,018
    991st JunkIce 490 1,018
    991st heanyang1 490 1,018
    991st JOrE20 490 1,018
    1,005th janbehrens 🇩🇪 489 591
    1,006th jusaka 489 1,020
    1,007th amishtal 488 330
    1,008th Jonatan6 🇩🇰 488 558
    1,008th orthoplex 🇨🇽 488 558
    1,008th KasperKivimaeki 🇫🇮 488 558
    1,011th LeeCamp 487 331
    1,011th croc54 487 331
    1,011th JunkIce 487 331
    1,014th urojony 🇵🇱 487 559
    1,014th stefangimmillaro 487 559
    1,016th Shanethegamer 🇺🇸 487 1,009
    1,016th voytxt 🇨🇿 487 1,009
    1,016th HumanoidCPU 487 1,009
    1,016th dokutan 487 1,009
    1,016th adgh 🇬🇧 487 1,009
    1,016th CaedenHarper 🇨🇦 487 1,009
    1,022nd jusaka 486 1,011
    1,023rd JunkIce 485 328
    1,024th edre 485 332
    1,025th pandapawskat 485 562
    1,025th Herbert00709 🇵🇱 485 562
    1,027th KatieLG-Transpiler 🇬🇧 485 1,013
    1,027th retrohun 485 1,013
    1,027th Yewzir 🇧🇪 485 1,013
    1,027th FortuiteMan 🇫🇷 485 1,013
    1,027th madeforlosers 485 1,013
    1,027th bac0id 485 1,013
    1,027th Mabeloid 🇳🇴 485 1,013
    1,027th JunkIce 485 1,013
    1,027th heanyang1 485 1,013
    1,027th gigaprofisi 🇺🇸 485 1,013
    1,027th JOrE20 485 1,013
    1,038th FortuiteMan 🇫🇷 485 1,069
    1,039th tomh1012 484 333
    1,040th jared-hughes 484 563