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
    1,036th CaedenHarper 🇨🇦 478 1,019
    1,036th JunkIce 478 1,019
    1,036th HumanoidCPU 478 1,019
    1,036th heanyang1 478 1,019
    1,036th gigaprofisi 🇺🇸 478 1,019
    1,036th JOrE20 478 1,019
    1,047th roupiq 🇵🇱 477 571
    1,048th stefangimmillaro 477 588
    1,049th FortuiteMan 🇫🇷 477 1,022
    1,050th MeWhenI 🇻🇦 475 313
    1,051st trinityy-7 475 339
    1,052nd janbehrens 🇩🇪 475 573
    1,053rd dokutan 475 608
    1,054th Yewzir 🇧🇪 475 1,010
    1,054th CaedenHarper 🇨🇦 475 1,010
    1,056th KatieLG 🇬🇧 475 1,011
    1,056th KatieLG-Transpiler 🇬🇧 475 1,011
    1,056th klixel 🇨🇦 475 1,011
    1,056th FortuiteMan 🇫🇷 475 1,011
    1,056th voytxt 🇨🇿 475 1,011
    1,056th snoozingnewt 🇨🇦 475 1,011
    1,056th msbranicky 475 1,011
    1,056th madeforlosers 475 1,011
    1,056th HumanoidCPU 475 1,011
    1,056th bac0id 475 1,011
    1,056th Mabeloid 🇳🇴 475 1,011
    1,056th JunkIce 475 1,011
    1,056th heanyang1 475 1,011
    1,056th gigaprofisi 🇺🇸 475 1,011
    1,070th JOrE20 474 1,012
    1,071st KatieLG-Transpiler 🇬🇧 474 1,053
    1,072nd two-bad 🇬🇧 471 360
    1,073rd janbehrens 🇩🇪 471 404
    1,074th Shanethegamer 🇺🇸 471 530
    1,075th Spruill-1 471 579
    1,076th MeWhenI 🇻🇦 471 595
    1,077th dokutan 471 736
    1,078th LucaArgentiUCF 🇮🇹 470 1,037
    1,079th acollett89 466 364
    1,080th Shanethegamer 🇺🇸 466 373
    1,081st m-tkach 🇺🇦 466 584
    1,082nd emgordon154 463 589
    1,083rd SirFireball3521 462 367
    1,083rd BREMAUCY 🇫🇷 462 367
    1,085th DialFrost 🇸🇬 461 368
    1,086th tomh1012 460 369
    1,087th dokutan 459 594
    1,088th JOrE20 457 371
    1,089th dokutan 456 615
    1,090th Waffle3z 455 1,070
    1,091st snoozingnewt 🇨🇦 453 374
    1,092nd dokutan 453 922
    1,092nd JOrE20 453 922
    1,094th JOrE20 452 319
    1,095th prplz 🇦🇺 452 730
    1,095th Mabeloid 🇳🇴 452 730
    1,097th primo-ppcg 🇹🇭 452 731
    1,098th FortuiteMan 🇫🇷 451 357
    1,099th neel11235813 451 925
    1,100th adamnielson42 🇺🇸 449 359
    1,101st ndren 443 383
    1,102nd KatieLG 🇬🇧 442 945
    1,103rd CgTranspiler 441 947
    1,104th Pena86 440 366
    1,105th adriweb 🇫🇷 439 386
    1,106th Waffle3z 439 950
    1,107th cure-honey 🇯🇵 438 329
    1,108th CodyMiner 438 368
    1,108th neihousaigaai 438 368
    1,110th RaBa21 🇭🇺 437 388
    1,111th MeWhenI 🇻🇦 435 758
    1,112th saito-ta 🇯🇵 433 1,396
    1,113th adamnielson42 🇺🇸 430 394
    1,114th snoozingnewt 🇨🇦 430 767
    1,115th piano-miles 428 376
    1,116th argusdusty 🇺🇸 426 658
    1,117th frankgraziano 425 399
    1,118th janbehrens 🇩🇪 425 497
    1,119th albanian-laundromat 423 573
    1,120th aksyristos 422 402