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

    Rankings: Holes

    λ in all languages in bytes.

    # Golfer Points Bytes Time
    974th Mabeloid 🇳🇴 476 1,004
    974th FortuiteMan 476 1,004
    978th FortuiteMan 476 1,022
    979th trinityy-7 475 339
    980th janbehrens 🇩🇪 475 573
    981st dokutan 475 608
    982nd Yewzir 🇧🇪 474 1,010
    982nd CaedenHarper 🇨🇦 474 1,010
    984th KatieLG 🇬🇧 474 1,011
    984th KatieLG-Transpiler 🇬🇧 474 1,011
    984th klixel 🇨🇦 474 1,011
    984th FortuiteMan 474 1,011
    984th voytxt 🇨🇿 474 1,011
    984th snoozingnewt 🇺🇸 474 1,011
    984th msbranicky 474 1,011
    984th madeforlosers 474 1,011
    984th HumanoidCPU 474 1,011
    984th bac0id 474 1,011
    984th Mabeloid 🇳🇴 474 1,011
    984th JunkIce 474 1,011
    984th heanyang1 474 1,011
    984th gigaprofisi 🇺🇸 474 1,011
    998th KatieLG-Transpiler 🇬🇧 473 1,053
    999th two-bad 🇬🇧 471 360
    1,000th janbehrens 🇩🇪 471 404
    1,001st MeWhenI 🇻🇦 471 595
    1,002nd Spruill-1 470 579
    1,003rd LucaArgentiUCF 🇮🇹 469 1,037
    1,004th acollett89 466 364
    1,005th m-tkach 🇺🇦 466 584
    1,006th Shanethegamer 🇺🇸 465 373
    1,007th SirFireball3521 462 367
    1,007th BREMAUCY 🇫🇷 462 367
    1,009th emgordon154 462 589
    1,010th DialFrost 🇸🇬 461 368
    1,011th ei14 459 351
    1,012th tomh1012 459 369
    1,013th crizin 🇰🇷 459 687
    1,014th dokutan 458 594
    1,015th tomh1012 457 461
    1,016th dokutan 456 615
    1,017th Waffle3z 455 1,070
    1,018th prplz 🇦🇺 452 730
    1,019th primo-ppcg 🇹🇭 451 731
    1,020th dokutan 450 922
    1,021st neel11235813 449 925
    1,022nd adamnielson42 🇺🇸 448 359
    1,023rd error256 446 524
    1,024th ndren 443 383
    1,025th Pena86 440 366
    1,026th adriweb 🇫🇷 439 386
    1,027th primo-ppcg 🇹🇭 439 845
    1,028th KatieLG 🇬🇧 439 945
    1,029th cure-honey 🇯🇵 438 329
    1,030th CgTranspiler 438 947
    1,031st CodyMiner 437 368
    1,031st neihousaigaai 437 368
    1,033rd RaBa21 🇭🇺 437 388
    1,034th Waffle3z 437 950
    1,035th MeWhenI 🇻🇦 435 758
    1,036th Yewzir 🇧🇪 434 856
    1,037th saito-ta 🇯🇵 433 1,396
    1,038th adamnielson42 🇺🇸 430 394
    1,039th piano-miles 428 376
    1,040th argusdusty 🇺🇸 426 658
    1,041st neihousaigaai 426 740
    1,042nd frankgraziano 425 399
    1,043rd squid233 425 742
    1,044th janbehrens 🇩🇪 424 497
    1,045th clockworknazo 424 598
    1,045th albanian-laundromat 424 598
    1,047th aksyristos 422 402
    1,048th eiburns 421 403
    1,049th primo-ppcg 🇹🇭 421 2,322
    1,050th FortuiteMan 416 387