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 SpareManiKatti 492 1,010
    981st Mojken 492 1,011
    981st decorator-factory 492 1,011
    981st TheAristos 492 1,011
    981st UBKorkut 492 1,011
    985th jusaka 492 1,027
    986th argusdusty 🇺🇸 491 673
    987th jusaka 491 1,013
    988th KatieLG-Transpiler 🇬🇧 491 1,029
    989th KatieLG 🇬🇧 490 1,003
    990th JRaspass 🇬🇧 490 1,018
    990th KatieLG-Transpiler 🇬🇧 490 1,018
    990th retrohun 490 1,018
    990th FortuiteMan 🇫🇷 490 1,018
    990th voytxt 🇨🇿 490 1,018
    990th Shanethegamer 🇺🇸 490 1,018
    990th madeforlosers 490 1,018
    990th HumanoidCPU 490 1,018
    990th bac0id 490 1,018
    990th Mabeloid 🇳🇴 490 1,018
    990th CaedenHarper 🇨🇦 490 1,018
    990th JunkIce 490 1,018
    990th heanyang1 490 1,018
    990th JOrE20 490 1,018
    1,004th janbehrens 🇩🇪 489 591
    1,005th jusaka 489 1,020
    1,006th amishtal 488 330
    1,007th Jonatan6 🇩🇰 488 558
    1,007th orthoplex 🇨🇽 488 558
    1,007th KasperKivimaeki 🇫🇮 488 558
    1,010th LeeCamp 487 331
    1,010th croc54 487 331
    1,010th JunkIce 487 331
    1,013th urojony 🇵🇱 487 559
    1,013th stefangimmillaro 487 559
    1,015th Shanethegamer 🇺🇸 487 1,009
    1,015th voytxt 🇨🇿 487 1,009
    1,015th HumanoidCPU 487 1,009
    1,015th dokutan 487 1,009
    1,015th adgh 🇬🇧 487 1,009
    1,015th CaedenHarper 🇨🇦 487 1,009
    1,021st jusaka 486 1,011
    1,022nd JunkIce 485 328
    1,023rd edre 485 332
    1,024th pandapawskat 485 562
    1,024th Herbert00709 🇵🇱 485 562
    1,026th KatieLG-Transpiler 🇬🇧 485 1,013
    1,026th retrohun 485 1,013
    1,026th Yewzir 🇧🇪 485 1,013
    1,026th FortuiteMan 🇫🇷 485 1,013
    1,026th madeforlosers 485 1,013
    1,026th bac0id 485 1,013
    1,026th Mabeloid 🇳🇴 485 1,013
    1,026th JunkIce 485 1,013
    1,026th heanyang1 485 1,013
    1,026th gigaprofisi 🇺🇸 485 1,013
    1,026th JOrE20 485 1,013
    1,037th FortuiteMan 🇫🇷 485 1,069
    1,038th tomh1012 484 333
    1,039th jared-hughes 484 563
    1,039th MeWhenI 🇻🇦 484 563