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

    Rankings: Holes

    λ in all languages in bytes.

    # Golfer Points Bytes Time
    968th HumanoidCPU 473 1,011
    968th bac0id 473 1,011
    968th Mabeloid 🇳🇴 473 1,011
    968th JunkIce 473 1,011
    968th heanyang1 473 1,011
    981st KatieLG-Transpiler 🇬🇧 473 1,053
    982nd two-bad 🇬🇧 471 360
    983rd janbehrens 🇩🇪 471 404
    984th Spruill-1 470 579
    985th MeWhenI 🇻🇦 470 595
    986th LucaArgentiUCF 🇮🇹 468 1,037
    987th m-tkach 🇺🇦 466 584
    988th Shanethegamer 🇺🇸 465 373
    989th SirFireball3521 462 367
    989th BREMAUCY 🇫🇷 462 367
    991st emgordon154 462 589
    992nd DialFrost 🇸🇬 461 368
    993rd tomh1012 459 369
    994th crizin 🇰🇷 459 687
    995th dokutan 458 594
    996th tomh1012 457 461
    997th dokutan 455 615
    998th Waffle3z 454 1,070
    999th prplz 🇦🇺 452 730
    1,000th primo-ppcg 🇹🇭 451 731
    1,001st dokutan 449 922
    1,002nd adamnielson42 🇺🇸 448 359
    1,003rd neel11235813 447 925
    1,004th error256 446 524
    1,005th ndren 442 383
    1,006th Pena86 440 366
    1,007th adriweb 🇫🇷 439 386
    1,008th primo-ppcg 🇹🇭 439 845
    1,009th cure-honey 🇯🇵 438 329
    1,010th KatieLG 🇬🇧 438 945
    1,011th CodyMiner 437 368
    1,011th neihousaigaai 437 368
    1,013th RaBa21 🇭🇺 437 388
    1,014th CgTranspiler 437 947
    1,015th Waffle3z 436 950
    1,016th MeWhenI 🇻🇦 435 758
    1,017th Yewzir 🇧🇪 433 856
    1,018th saito-ta 🇯🇵 432 1,396
    1,019th adamnielson42 🇺🇸 430 394
    1,020th piano-miles 428 376
    1,021st neihousaigaai 426 740
    1,022nd frankgraziano 425 399
    1,023rd argusdusty 🇺🇸 425 658
    1,024th squid233 425 742
    1,025th janbehrens 🇩🇪 424 497
    1,026th clockworknazo 424 598
    1,027th aksyristos 422 402
    1,028th eiburns 421 403
    1,029th primo-ppcg 🇹🇭 421 2,322
    1,030th cdesodt 416 387
    1,031st falsidge 413 390
    1,032nd h3ra993huskp 🇯🇵 413 763
    1,033rd msrawson 412 391
    1,034th nwellnhof 🇩🇪 412 764
    1,034th Irratix 🇳🇱 412 764
    1,036th msbranicky 411 680
    1,037th InigoK 🇺🇸 407 395
    1,038th martinnorling 🇸🇪 406 396
    1,039th CatsAreFluffy 405 473
    1,040th FlorianCassayre 🇫🇷 405 2,412
    1,041st prplz 🇦🇺 405 2,413
    1,042nd ETHproductions 🇺🇸 404 420
    1,043rd prplz 🇦🇺 402 477
    1,044th orthoplex 🇨🇽 402 2,431
    1,045th msbranicky 398 683
    1,046th Yewzir 🇧🇪 397 728
    1,047th djeedjay 🇳🇱 396 687
    1,048th Alex-x90 🇺🇸 396 729
    1,049th bendapootie 394 2,483
    1,050th Lv0Sys 🇵🇱 393 410