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

    Rankings: Holes

    λ in all languages in bytes.

    # Golfer Points Bytes Time
    976th msbranicky 477 605
    977th KatieLG 🇬🇧 477 1,004
    977th KatieLG-Transpiler 🇬🇧 477 1,004
    977th Mabeloid 🇳🇴 477 1,004
    977th FortuiteMan 🇫🇷 477 1,004
    981st bac0id 477 1,019
    981st voytxt 🇨🇿 477 1,019
    981st Mabeloid 🇳🇴 477 1,019
    981st Shanethegamer 🇺🇸 477 1,019
    981st madeforlosers 477 1,019
    981st CaedenHarper 🇨🇦 477 1,019
    981st JunkIce 477 1,019
    981st HumanoidCPU 477 1,019
    981st heanyang1 477 1,019
    981st gigaprofisi 🇺🇸 477 1,019
    991st stefangimmillaro 476 588
    992nd FortuiteMan 🇫🇷 476 1,022
    993rd trinityy-7 475 339
    994th janbehrens 🇩🇪 475 573
    995th dokutan 475 608
    996th Yewzir 🇧🇪 474 1,010
    996th CaedenHarper 🇨🇦 474 1,010
    998th KatieLG 🇬🇧 474 1,011
    998th KatieLG-Transpiler 🇬🇧 474 1,011
    998th klixel 🇨🇦 474 1,011
    998th FortuiteMan 🇫🇷 474 1,011
    998th voytxt 🇨🇿 474 1,011
    998th snoozingnewt 🇺🇸 474 1,011
    998th msbranicky 474 1,011
    998th madeforlosers 474 1,011
    998th HumanoidCPU 474 1,011
    998th bac0id 474 1,011
    998th Mabeloid 🇳🇴 474 1,011
    998th JunkIce 474 1,011
    998th heanyang1 474 1,011
    998th gigaprofisi 🇺🇸 474 1,011
    1,012th KatieLG-Transpiler 🇬🇧 474 1,053
    1,013th two-bad 🇬🇧 471 360
    1,014th janbehrens 🇩🇪 471 404
    1,015th MeWhenI 🇻🇦 471 595
    1,016th Spruill-1 470 579
    1,017th dokutan 470 736
    1,018th LucaArgentiUCF 🇮🇹 469 1,037
    1,019th acollett89 466 364
    1,020th m-tkach 🇺🇦 466 584
    1,021st Shanethegamer 🇺🇸 465 373
    1,022nd SirFireball3521 462 367
    1,022nd BREMAUCY 🇫🇷 462 367
    1,024th emgordon154 462 589
    1,025th DialFrost 🇸🇬 461 368
    1,026th tomh1012 459 369
    1,027th dokutan 459 596
    1,028th dokutan 458 594
    1,029th dokutan 456 615
    1,030th Waffle3z 455 1,070
    1,031st prplz 🇦🇺 452 730
    1,032nd dokutan 452 922
    1,033rd FortuiteMan 🇫🇷 451 357
    1,034th primo-ppcg 🇹🇭 451 731
    1,035th neel11235813 450 925
    1,036th adamnielson42 🇺🇸 448 359
    1,037th error256 446 524
    1,038th ndren 443 383
    1,039th primo-ppcg 🇹🇭 443 846
    1,040th KatieLG 🇬🇧 441 945
    1,041st Pena86 440 366
    1,042nd CgTranspiler 440 947
    1,043rd adriweb 🇫🇷 439 386
    1,044th cure-honey 🇯🇵 438 329
    1,045th CodyMiner 438 368
    1,045th neihousaigaai 438 368
    1,047th Waffle3z 438 950
    1,048th RaBa21 🇭🇺 437 388
    1,049th MeWhenI 🇻🇦 435 758
    1,050th saito-ta 🇯🇵 433 1,396