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,400th decorator-factory 147 1,011
    2,400th SpareManiKatti 147 1,011
    2,403rd jusaka 147 1,012
    2,404th KatieLG 🇬🇧 146 1,007
    2,405th Shanethegamer 🇺🇸 146 1,009
    2,405th HumanoidCPU 146 1,009
    2,405th JOrE20 146 1,009
    2,405th voytxt 🇨🇿 146 1,009
    2,409th jusaka 145 1,012
    2,410th KatieLG 🇬🇧 143 1,010
    2,411th Mojken 143 1,011
    2,411th RustemB 🇷🇺 143 1,011
    2,411th JRaspass 🇬🇧 143 1,011
    2,411th retrohun 143 1,011
    2,411th decorator-factory 143 1,011
    2,411th Waffle3z 143 1,011
    2,411th kurkale6ka 143 1,011
    2,411th theunofficialcoder 143 1,011
    2,411th RYNO8 143 1,011
    2,411th SpareManiKatti 143 1,011
    2,411th mokymok 🇺🇸 143 1,011
    2,411th voytxt 🇨🇿 143 1,011
    2,411th mothcolada 🇺🇸 143 1,011
    2,411th Codsilla 🇨🇦 143 1,011
    2,411th FortuiteMan 🇫🇷 143 1,011
    2,411th madeforlosers 143 1,011
    2,411th HumanoidCPU 143 1,011
    2,411th Yewzir 🇧🇪 143 1,011
    2,411th bac0id 143 1,011
    2,411th Mabeloid 🇳🇴 143 1,011
    2,411th CaedenHarper 🇨🇦 143 1,011
    2,411th heanyang1 143 1,011
    2,411th gigaprofisi 🇺🇸 143 1,011
    2,434th JunkIce 142 1,013
    2,434th jusaka 142 1,013
    2,436th Dazza314 🇬🇧 142 2,945
    2,437th KatieLG-Transpiler 🇬🇧 136 1,058
    2,438th dokutan 123 999
    2,439th RustemB 🇷🇺 122 1,010
    2,439th Waffle3z 122 1,010
    2,439th KatieLG 🇬🇧 122 1,010
    2,439th MeWhenI 🇻🇦 122 1,010
    2,439th voytxt 🇨🇿 122 1,010
    2,439th Shanethegamer 🇺🇸 122 1,010
    2,439th CaedenHarper 🇨🇦 122 1,010
    2,439th JOrE20 122 1,010
    2,447th Mabeloid 🇳🇴 122 1,011
    2,448th madeforlosers 121 1,016
    2,448th heanyang1 121 1,016
    2,450th KatieLG-Transpiler 🇬🇧 121 1,018
    2,451st jusaka 120 1,023
    2,452nd dokutan 117 944
    2,453rd JOrE20 116 946
    2,454th blaztoma 🇱🇹 114 1,651
    2,455th KatieLG 🇬🇧 110 1,004
    2,455th KatieLG-Transpiler 🇬🇧 110 1,004
    2,455th Yewzir 🇧🇪 110 1,004
    2,455th voytxt 🇨🇿 110 1,004
    2,455th Shanethegamer 🇺🇸 110 1,004
    2,455th madeforlosers 110 1,004
    2,455th HumanoidCPU 110 1,004
    2,455th bac0id 110 1,004
    2,455th Mabeloid 🇳🇴 110 1,004
    2,455th CaedenHarper 🇨🇦 110 1,004
    2,455th JunkIce 110 1,004
    2,455th heanyang1 110 1,004
    2,455th gigaprofisi 🇺🇸 110 1,004
    2,468th retrohun 109 1,008
    2,468th ehulinsky 🇺🇸 109 1,008
    2,468th FortuiteMan 🇫🇷 109 1,008
    2,471st jusaka 109 1,010
    2,472nd NicoPlayZ9002-YT 108 1,019
    2,473rd blaztoma 🇱🇹 95 2,240
    2,474th jusaka 92 4,558
    2,475th CaedenHarper 🇨🇦 89 2,007
    2,475th JOrE20 89 2,007
    2,475th someCoder-a11y 89 2,007
    2,478th jusaka 89 2,010
    2,479th FortuiteMan 🇫🇷 89 2,013
    2,480th JunkIce 88 2,026