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,101st KatieLG 🇬🇧 471 1,011
    1,101st KatieLG-Transpiler 🇬🇧 471 1,011
    1,101st klixel 🇨🇦 471 1,011
    1,101st FortuiteMan 🇫🇷 471 1,011
    1,101st voytxt 🇨🇿 471 1,011
    1,101st snoozingnewt 🇨🇦 471 1,011
    1,101st msbranicky 471 1,011
    1,101st madeforlosers 471 1,011
    1,101st HumanoidCPU 471 1,011
    1,101st bac0id 471 1,011
    1,101st Mabeloid 🇳🇴 471 1,011
    1,101st JunkIce 471 1,011
    1,101st heanyang1 471 1,011
    1,101st gigaprofisi 🇺🇸 471 1,011
    1,115th JOrE20 470 1,012
    1,116th MeWhenI 🇻🇦 469 595
    1,117th Shanethegamer 🇺🇸 468 530
    1,118th Spruill-1 468 579
    1,119th LucaArgentiUCF 🇮🇹 468 1,037
    1,120th janbehrens 🇩🇪 466 404
    1,121st Shanethegamer 🇺🇸 466 683
    1,122nd olivermrose 🇺🇸 464 296
    1,123rd m-tkach 🇺🇦 464 584
    1,124th msbranicky 464 593
    1,125th jatloe 462 320
    1,126th MeWhenI 🇻🇦 461 313
    1,127th emgordon154 460 589
    1,128th albanian-laundromat 🇺🇸 458 609
    1,129th janbehrens 🇩🇪 456 345
    1,130th dokutan 456 594
    1,131st dokutan 455 604
    1,132nd jakobkordez 🇸🇮 453 326
    1,133rd dokutan 453 615
    1,134th Waffle3z 453 1,070
    1,135th dokutan 451 922
    1,135th JOrE20 451 922
    1,137th neel11235813 450 925
    1,138th amishtal 448 330
    1,139th Protothor 448 351
    1,140th LeeCamp 447 331
    1,140th croc54 447 331
    1,140th JunkIce 447 331
    1,143rd JOrE20 446 319
    1,144th JunkIce 445 328
    1,145th edre 445 332
    1,145th tomh1012 445 332
    1,147th Andrey2001 443 334
    1,148th codewrite 🇬🇧 443 355
    1,149th tomh1012 440 332
    1,150th KatieLG 🇬🇧 440 945
    1,151st CgTranspiler 439 947
    1,152nd Waffle3z 438 950
    1,153rd two-bad 🇬🇧 437 360
    1,154th trinityy-7 436 339
    1,155th dokutan 433 736
    1,156th cure-honey 🇯🇵 432 329
    1,157th acollett89 432 364
    1,158th saito-ta 🇯🇵 432 1,396
    1,159th Andrey2001 431 339
    1,160th SirFireball3521 428 367
    1,160th BREMAUCY 🇫🇷 428 367
    1,162nd DialFrost 🇸🇬 427 368
    1,163rd tomh1012 426 369
    1,164th dcc5480 425 348
    1,165th argusdusty 🇺🇸 424 658
    1,166th DelaneyJM 423 415
    1,167th janbehrens 🇩🇪 421 497
    1,168th primo-ppcg 🇹🇭 421 2,322
    1,169th snoozingnewt 🇨🇦 420 374
    1,170th dokutan 416 596
    1,171st FortuiteMan 🇫🇷 414 357
    1,172nd prestosilver 🇺🇸 414 380
    1,173rd adamnielson42 🇺🇸 412 359
    1,174th ndren 410 383
    1,175th msbranicky 410 680
    1,176th argusdusty 🇺🇸 409 673
    1,177th adriweb 🇫🇷 407 386
    1,178th RaBa21 🇭🇺 405 388
    1,179th madeforlosers 405 1,027
    1,180th FlorianCassayre 🇫🇷 405 2,412
    1,181st prplz 🇦🇺 405 2,413
    1,182nd Haksell 404 340
    1,183rd Pena86 404 366
    1,184th CodyMiner 402 368
    1,184th neihousaigaai 402 368
    1,186th orthoplex 🇨🇽 402 2,431
    1,187th CatsAreFluffy 401 473
    1,188th adamnielson42 🇺🇸 399 394
    1,189th prplz 🇦🇺 398 477
    1,190th msbranicky 397 683
    1,191st Shanethegamer 🇺🇸 396 373
    1,192nd Yewzir 🇧🇪 395 728
    1,193rd frankgraziano 394 399
    1,194th djeedjay 🇳🇱 394 687
    1,195th Alex-x90 🇺🇸 394 729
    1,196th bendapootie 394 2,483
    1,197th piano-miles 393 376
    1,198th aksyristos 391 402
    1,199th gastropner 391 692
    1,200th Irratix 🇳🇱 391 735