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,238th msbranicky 148 1,008
    2,238th madeforlosers 148 1,008
    2,238th HumanoidCPU 148 1,008
    2,238th bac0id 148 1,008
    2,238th LostSyntax21 🇬🇧 148 1,008
    2,238th Mabeloid 🇳🇴 148 1,008
    2,238th CaedenHarper 🇨🇦 148 1,008
    2,238th JunkIce 148 1,008
    2,238th heanyang1 148 1,008
    2,238th JOrE20 🇺🇸 148 1,008
    2,261st mothcolada 🇺🇸 148 1,009
    2,261st BrenSchaap 148 1,009
    2,263rd abailey2020 🇺🇸 148 1,010
    2,263rd RYNO8 148 1,010
    2,265th Mojken 147 1,011
    2,265th decorator-factory 147 1,011
    2,265th SpareManiKatti 147 1,011
    2,268th KatieLG 🇬🇧 143 1,010
    2,269th Mojken 142 1,011
    2,269th RustemB 🇷🇺 142 1,011
    2,269th JRaspass 🇬🇧 142 1,011
    2,269th retrohun 142 1,011
    2,269th decorator-factory 142 1,011
    2,269th Waffle3z 142 1,011
    2,269th kurkale6ka 142 1,011
    2,269th theunofficialcoder 142 1,011
    2,269th RYNO8 142 1,011
    2,269th SpareManiKatti 142 1,011
    2,269th mokymok 🇺🇸 142 1,011
    2,269th voytxt 🇨🇿 142 1,011
    2,269th mothcolada 🇺🇸 142 1,011
    2,269th Codsilla 🇨🇦 142 1,011
    2,269th FortuiteMan 🇫🇷 142 1,011
    2,269th madeforlosers 142 1,011
    2,269th HumanoidCPU 142 1,011
    2,269th Yewzir 🇧🇪 142 1,011
    2,269th bac0id 142 1,011
    2,269th Mabeloid 🇳🇴 142 1,011
    2,269th CaedenHarper 🇨🇦 142 1,011
    2,269th heanyang1 142 1,011
    2,269th gigaprofisi 🇺🇸 142 1,011
    2,292nd JunkIce 142 1,013
    2,293rd Dazza314 🇬🇧 141 2,945
    2,294th KatieLG-Transpiler 🇬🇧 136 1,058
    2,295th dokutan 123 999
    2,296th RustemB 🇷🇺 122 1,010
    2,296th Waffle3z 122 1,010
    2,296th KatieLG 🇬🇧 122 1,010
    2,296th MeWhenI 🇻🇦 122 1,010
    2,296th voytxt 🇨🇿 122 1,010
    2,296th Shanethegamer 🇺🇸 122 1,010
    2,296th CaedenHarper 🇨🇦 122 1,010
    2,303rd Mabeloid 🇳🇴 122 1,011
    2,304th madeforlosers 121 1,016
    2,304th heanyang1 121 1,016
    2,306th KatieLG-Transpiler 🇬🇧 121 1,018
    2,307th dokutan 117 944
    2,308th JOrE20 🇺🇸 116 946
    2,309th blaztoma 🇱🇹 114 1,651
    2,310th KatieLG 🇬🇧 110 1,004
    2,310th KatieLG-Transpiler 🇬🇧 110 1,004
    2,310th Yewzir 🇧🇪 110 1,004
    2,310th voytxt 🇨🇿 110 1,004
    2,310th Shanethegamer 🇺🇸 110 1,004
    2,310th madeforlosers 110 1,004
    2,310th HumanoidCPU 110 1,004
    2,310th bac0id 110 1,004
    2,310th Mabeloid 🇳🇴 110 1,004
    2,310th CaedenHarper 🇨🇦 110 1,004
    2,310th JunkIce 110 1,004
    2,310th heanyang1 110 1,004
    2,310th gigaprofisi 🇺🇸 110 1,004
    2,323rd retrohun 109 1,008
    2,323rd ehulinsky 🇺🇸 109 1,008
    2,323rd FortuiteMan 🇫🇷 109 1,008