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,301st JunkIce 148 1,008
    2,301st heanyang1 148 1,008
    2,301st JOrE20 148 1,008
    2,324th mothcolada 🇺🇸 148 1,009
    2,324th BrenSchaap 148 1,009
    2,326th abailey2020 🇺🇸 148 1,010
    2,326th RYNO8 148 1,010
    2,328th Shanethegamer 🇺🇸 147 1,009
    2,328th HumanoidCPU 147 1,009
    2,328th JOrE20 147 1,009
    2,328th voytxt 🇨🇿 147 1,009
    2,332nd Mojken 147 1,011
    2,332nd decorator-factory 147 1,011
    2,332nd SpareManiKatti 147 1,011
    2,335th KatieLG 🇬🇧 143 1,010
    2,336th Mojken 143 1,011
    2,336th RustemB 🇷🇺 143 1,011
    2,336th JRaspass 🇬🇧 143 1,011
    2,336th retrohun 143 1,011
    2,336th decorator-factory 143 1,011
    2,336th Waffle3z 143 1,011
    2,336th kurkale6ka 143 1,011
    2,336th theunofficialcoder 143 1,011
    2,336th RYNO8 143 1,011
    2,336th SpareManiKatti 143 1,011
    2,336th mokymok 🇺🇸 143 1,011
    2,336th voytxt 🇨🇿 143 1,011
    2,336th mothcolada 🇺🇸 143 1,011
    2,336th Codsilla 🇨🇦 143 1,011
    2,336th FortuiteMan 🇫🇷 143 1,011
    2,336th madeforlosers 143 1,011
    2,336th HumanoidCPU 143 1,011
    2,336th Yewzir 🇧🇪 143 1,011
    2,336th bac0id 143 1,011
    2,336th Mabeloid 🇳🇴 143 1,011
    2,336th CaedenHarper 🇨🇦 143 1,011
    2,336th heanyang1 143 1,011
    2,336th gigaprofisi 🇺🇸 143 1,011
    2,359th JunkIce 142 1,013
    2,360th Dazza314 🇬🇧 142 2,945
    2,361st KatieLG-Transpiler 🇬🇧 136 1,058
    2,362nd dokutan 123 999
    2,363rd RustemB 🇷🇺 122 1,010
    2,363rd Waffle3z 122 1,010
    2,363rd KatieLG 🇬🇧 122 1,010
    2,363rd MeWhenI 🇻🇦 122 1,010
    2,363rd voytxt 🇨🇿 122 1,010
    2,363rd Shanethegamer 🇺🇸 122 1,010
    2,363rd CaedenHarper 🇨🇦 122 1,010
    2,363rd JOrE20 122 1,010
    2,371st Mabeloid 🇳🇴 122 1,011
    2,372nd madeforlosers 121 1,016
    2,372nd heanyang1 121 1,016
    2,374th KatieLG-Transpiler 🇬🇧 121 1,018
    2,375th dokutan 117 944
    2,376th JOrE20 116 946
    2,377th blaztoma 🇱🇹 114 1,651
    2,378th KatieLG 🇬🇧 110 1,004
    2,378th KatieLG-Transpiler 🇬🇧 110 1,004
    2,378th Yewzir 🇧🇪 110 1,004
    2,378th voytxt 🇨🇿 110 1,004
    2,378th Shanethegamer 🇺🇸 110 1,004
    2,378th madeforlosers 110 1,004
    2,378th HumanoidCPU 110 1,004
    2,378th bac0id 110 1,004
    2,378th Mabeloid 🇳🇴 110 1,004
    2,378th CaedenHarper 🇨🇦 110 1,004
    2,378th JunkIce 110 1,004
    2,378th heanyang1 110 1,004
    2,378th gigaprofisi 🇺🇸 110 1,004
    2,391st retrohun 109 1,008
    2,391st ehulinsky 🇺🇸 109 1,008
    2,391st FortuiteMan 🇫🇷 109 1,008
    2,394th NicoPlayZ9002-YT 108 1,019
    2,395th blaztoma 🇱🇹 95 2,240
    2,396th CaedenHarper 🇨🇦 89 2,007
    2,396th JOrE20 89 2,007
    2,398th FortuiteMan 🇫🇷 89 2,013
    2,399th JunkIce 88 2,026
    2,400th lyphyser 76 3,607