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

    Rankings: Holes

    λ in all languages in bytes.

    # Golfer Points Bytes Time
    824th yeetmyyeet 492 1,008
    824th Redbowpatch101 492 1,008
    824th Waffle3z 492 1,008
    824th iTearo 🇷🇺 492 1,008
    824th KatieLG 🇬🇧 492 1,008
    824th YPuest 492 1,008
    824th kurkale6ka 492 1,008
    824th mokymok 🇺🇸 492 1,008
    824th Stockoh 🇫🇷 492 1,008
    824th akira-aizawa 🇯🇵 492 1,008
    824th voytxt 🇨🇿 492 1,008
    824th KatieLG-Transpiler 🇬🇧 492 1,008
    824th Yewzir 🇧🇪 492 1,008
    824th cdesodt 492 1,008
    824th snoozingnewt 🇺🇸 492 1,008
    824th dokutan 492 1,008
    824th madeforlosers 492 1,008
    824th HumanoidCPU 492 1,008
    824th bac0id 492 1,008
    824th Mabeloid 🇳🇴 492 1,008
    824th JunkIce 492 1,008
    824th CaedenHarper 🇨🇦 492 1,008
    824th heanyang1 492 1,008
    824th gigaprofisi 🇺🇸 492 1,008
    850th ToriTheChicken 492 1,009
    850th mothcolada 🇺🇸 492 1,009
    850th jb-lopez 🇺🇸 492 1,009
    850th ehulinsky 🇺🇸 492 1,009
    854th janbehrens 🇩🇪 491 345
    855th rhdqor213 491 554
    856th SpareManiKatti 491 1,010
    857th Mojken 491 1,011
    857th decorator-factory 491 1,011
    857th TheAristos 491 1,011
    857th UBKorkut 491 1,011
    861st argusdusty 🇺🇸 490 673
    862nd Shanethegamer 🇺🇸 489 1,009
    862nd voytxt 🇨🇿 489 1,009
    862nd snoozingnewt 🇺🇸 489 1,009
    862nd HumanoidCPU 489 1,009
    862nd dokutan 489 1,009
    862nd adgh 🇬🇧 489 1,009
    862nd CaedenHarper 🇨🇦 489 1,009
    869th KatieLG-Transpiler 🇬🇧 489 1,029
    870th amishtal 488 330
    871st Jonatan6 🇩🇰 488 558
    871st orthoplex 🇨🇽 488 558
    871st KasperKivimaeki 🇫🇮 488 558
    874th janbehrens 🇩🇪 488 591
    875th JRaspass 🇬🇧 488 1,018
    875th KatieLG-Transpiler 🇬🇧 488 1,018
    875th retrohun 488 1,018
    875th cdesodt 488 1,018
    875th voytxt 🇨🇿 488 1,018
    875th Shanethegamer 🇺🇸 488 1,018
    875th madeforlosers 488 1,018
    875th HumanoidCPU 488 1,018
    875th bac0id 488 1,018
    875th Mabeloid 🇳🇴 488 1,018
    875th CaedenHarper 🇨🇦 488 1,018
    875th JunkIce 488 1,018
    875th heanyang1 488 1,018
    888th KasperKivimaeki 🇫🇮 487 348
    889th urojony 🇵🇱 487 559
    889th stefangimmillaro 487 559
    891st KatieLG 🇬🇧 487 1,013
    891st KatieLG-Transpiler 🇬🇧 487 1,013
    891st retrohun 487 1,013
    891st Yewzir 🇧🇪 487 1,013
    891st cdesodt 487 1,013
    891st madeforlosers 487 1,013
    891st bac0id 487 1,013
    891st Mabeloid 🇳🇴 487 1,013
    891st JunkIce 487 1,013
    891st heanyang1 487 1,013