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
    2,317th decorator-factory 143 1,011
    2,317th Waffle3z 143 1,011
    2,317th kurkale6ka 143 1,011
    2,317th theunofficialcoder 143 1,011
    2,317th RYNO8 143 1,011
    2,317th SpareManiKatti 143 1,011
    2,317th mokymok 🇺🇸 143 1,011
    2,317th voytxt 🇨🇿 143 1,011
    2,317th mothcolada 🇺🇸 143 1,011
    2,317th Codsilla 🇨🇦 143 1,011
    2,317th FortuiteMan 🇫🇷 143 1,011
    2,317th madeforlosers 143 1,011
    2,317th HumanoidCPU 143 1,011
    2,317th Yewzir 🇧🇪 143 1,011
    2,317th bac0id 143 1,011
    2,317th Mabeloid 🇳🇴 143 1,011
    2,317th CaedenHarper 🇨🇦 143 1,011
    2,317th heanyang1 143 1,011
    2,317th gigaprofisi 🇺🇸 143 1,011
    2,317th JOrE20 143 1,011
    2,341st JunkIce 142 1,013
    2,342nd Dazza314 🇬🇧 142 2,945
    2,343rd KatieLG-Transpiler 🇬🇧 136 1,058
    2,344th dokutan 123 999
    2,345th RustemB 🇷🇺 122 1,010
    2,345th Waffle3z 122 1,010
    2,345th KatieLG 🇬🇧 122 1,010
    2,345th MeWhenI 🇻🇦 122 1,010
    2,345th voytxt 🇨🇿 122 1,010
    2,345th Shanethegamer 🇺🇸 122 1,010
    2,345th CaedenHarper 🇨🇦 122 1,010
    2,345th JOrE20 122 1,010
    2,353rd Mabeloid 🇳🇴 122 1,011
    2,354th madeforlosers 121 1,016
    2,354th heanyang1 121 1,016
    2,356th KatieLG-Transpiler 🇬🇧 121 1,018
    2,357th dokutan 117 944
    2,358th JOrE20 116 946
    2,359th blaztoma 🇱🇹 114 1,651
    2,360th KatieLG 🇬🇧 110 1,004
    2,360th KatieLG-Transpiler 🇬🇧 110 1,004
    2,360th Yewzir 🇧🇪 110 1,004
    2,360th voytxt 🇨🇿 110 1,004
    2,360th Shanethegamer 🇺🇸 110 1,004
    2,360th madeforlosers 110 1,004
    2,360th HumanoidCPU 110 1,004
    2,360th bac0id 110 1,004
    2,360th Mabeloid 🇳🇴 110 1,004
    2,360th CaedenHarper 🇨🇦 110 1,004
    2,360th JunkIce 110 1,004
    2,360th heanyang1 110 1,004
    2,360th gigaprofisi 🇺🇸 110 1,004
    2,373rd retrohun 109 1,008
    2,373rd ehulinsky 🇺🇸 109 1,008
    2,373rd FortuiteMan 🇫🇷 109 1,008
    2,376th NicoPlayZ9002-YT 108 1,019
    2,377th blaztoma 🇱🇹 95 2,240
    2,378th CaedenHarper 🇨🇦 89 2,007
    2,378th JOrE20 89 2,007
    2,380th FortuiteMan 🇫🇷 89 2,013
    2,381st JunkIce 88 2,026
    2,382nd lyphyser 76 3,607
    2,383rd ValentinCassayre 8 20,013
    2,384th Dazza314 🇬🇧 7 80,690
    2,385th ihearrodmod 1 108,234
    2,386th ovs-code 🇩🇪 0 276
    2,387th edsrzf 🇳🇿 0 291
    2,388th dokutan 0 588
    2,389th dokutan 0 597
    2,390th dokutan 0 612
    2,391st dokutan 0 662
    2,392nd ndren 0 670
    2,393rd Shanethegamer 🇺🇸 0 673
    2,394th Yewzir 🇧🇪 0 734
    2,395th Shanethegamer 🇺🇸 0 847
    2,396th Shanethegamer 🇺🇸 0 853
    2,397th Shanethegamer 🇺🇸 0 1,002
    2,397th JOrE-Softwares 0 1,002
    2,397th HumanoidCPU 0 1,002
    2,397th JOrE20 0 1,002