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

    Rankings: Holes

    λ in all languages in bytes.

    # Golfer Points Bytes Time
    2,164th Yewzir 🇧🇪 148 1,008
    2,164th FortuiteMan 🇫🇷 148 1,008
    2,164th msbranicky 148 1,008
    2,164th madeforlosers 148 1,008
    2,164th HumanoidCPU 148 1,008
    2,164th bac0id 148 1,008
    2,164th LostSyntax21 🇬🇧 148 1,008
    2,164th Mabeloid 🇳🇴 148 1,008
    2,164th CaedenHarper 🇨🇦 148 1,008
    2,164th JunkIce 148 1,008
    2,164th heanyang1 148 1,008
    2,187th mothcolada 🇺🇸 148 1,009
    2,187th BrenSchaap 148 1,009
    2,189th abailey2020 🇺🇸 147 1,010
    2,189th RYNO8 147 1,010
    2,191st Mojken 147 1,011
    2,191st decorator-factory 147 1,011
    2,191st SpareManiKatti 147 1,011
    2,194th Mojken 142 1,011
    2,194th RustemB 🇷🇺 142 1,011
    2,194th JRaspass 🇬🇧 142 1,011
    2,194th retrohun 142 1,011
    2,194th decorator-factory 142 1,011
    2,194th Waffle3z 142 1,011
    2,194th KatieLG 🇬🇧 142 1,011
    2,194th kurkale6ka 142 1,011
    2,194th theunofficialcoder 142 1,011
    2,194th RYNO8 142 1,011
    2,194th SpareManiKatti 142 1,011
    2,194th mokymok 🇺🇸 142 1,011
    2,194th voytxt 🇨🇿 142 1,011
    2,194th mothcolada 🇺🇸 142 1,011
    2,194th Codsilla 🇨🇦 142 1,011
    2,194th FortuiteMan 🇫🇷 142 1,011
    2,194th madeforlosers 142 1,011
    2,194th HumanoidCPU 142 1,011
    2,194th Yewzir 🇧🇪 142 1,011
    2,194th bac0id 142 1,011
    2,194th Mabeloid 🇳🇴 142 1,011
    2,194th CaedenHarper 🇨🇦 142 1,011
    2,194th heanyang1 142 1,011
    2,194th gigaprofisi 🇺🇸 142 1,011
    2,218th JunkIce 142 1,013
    2,219th Dazza314 🇬🇧 141 2,945
    2,220th KatieLG-Transpiler 🇬🇧 136 1,058
    2,221st dokutan 123 999
    2,222nd RustemB 🇷🇺 122 1,010
    2,222nd Waffle3z 122 1,010
    2,222nd KatieLG 🇬🇧 122 1,010
    2,222nd MeWhenI 🇻🇦 122 1,010
    2,222nd voytxt 🇨🇿 122 1,010
    2,222nd Shanethegamer 🇺🇸 122 1,010
    2,222nd CaedenHarper 🇨🇦 122 1,010
    2,229th Mabeloid 🇳🇴 122 1,011
    2,230th madeforlosers 121 1,016
    2,230th heanyang1 121 1,016
    2,232nd KatieLG-Transpiler 🇬🇧 121 1,018
    2,233rd dokutan 117 944
    2,234th blaztoma 🇱🇹 116 1,651
    2,235th KatieLG 🇬🇧 110 1,004
    2,235th KatieLG-Transpiler 🇬🇧 110 1,004
    2,235th Yewzir 🇧🇪 110 1,004
    2,235th voytxt 🇨🇿 110 1,004
    2,235th Shanethegamer 🇺🇸 110 1,004
    2,235th madeforlosers 110 1,004
    2,235th HumanoidCPU 110 1,004
    2,235th bac0id 110 1,004
    2,235th Mabeloid 🇳🇴 110 1,004
    2,235th CaedenHarper 🇨🇦 110 1,004
    2,235th JunkIce 110 1,004
    2,235th heanyang1 110 1,004
    2,235th gigaprofisi 🇺🇸 110 1,004
    2,248th retrohun 109 1,008
    2,248th ehulinsky 🇺🇸 109 1,008
    2,248th FortuiteMan 🇫🇷 109 1,008