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,175th BrenSchaap 148 1,009
    2,177th abailey2020 🇺🇸 147 1,010
    2,177th RYNO8 147 1,010
    2,179th Mojken 147 1,011
    2,179th decorator-factory 147 1,011
    2,179th SpareManiKatti 147 1,011
    2,182nd Mojken 142 1,011
    2,182nd RustemB 🇷🇺 142 1,011
    2,182nd JRaspass 🇬🇧 142 1,011
    2,182nd retrohun 142 1,011
    2,182nd decorator-factory 142 1,011
    2,182nd Waffle3z 142 1,011
    2,182nd KatieLG 🇬🇧 142 1,011
    2,182nd kurkale6ka 142 1,011
    2,182nd theunofficialcoder 142 1,011
    2,182nd RYNO8 142 1,011
    2,182nd SpareManiKatti 142 1,011
    2,182nd mokymok 🇺🇸 142 1,011
    2,182nd voytxt 🇨🇿 142 1,011
    2,182nd mothcolada 🇺🇸 142 1,011
    2,182nd Codsilla 🇨🇦 142 1,011
    2,182nd FortuiteMan 🇫🇷 142 1,011
    2,182nd madeforlosers 142 1,011
    2,182nd HumanoidCPU 142 1,011
    2,182nd Yewzir 🇧🇪 142 1,011
    2,182nd bac0id 142 1,011
    2,182nd Mabeloid 🇳🇴 142 1,011
    2,182nd CaedenHarper 🇨🇦 142 1,011
    2,182nd heanyang1 142 1,011
    2,182nd gigaprofisi 🇺🇸 142 1,011
    2,206th JunkIce 142 1,013
    2,207th Dazza314 🇬🇧 141 2,945
    2,208th KatieLG-Transpiler 🇬🇧 136 1,058
    2,209th dokutan 123 999
    2,210th RustemB 🇷🇺 122 1,010
    2,210th Waffle3z 122 1,010
    2,210th KatieLG 🇬🇧 122 1,010
    2,210th MeWhenI 🇻🇦 122 1,010
    2,210th voytxt 🇨🇿 122 1,010
    2,210th Shanethegamer 🇺🇸 122 1,010
    2,210th CaedenHarper 🇨🇦 122 1,010
    2,217th Mabeloid 🇳🇴 122 1,011
    2,218th madeforlosers 121 1,016
    2,218th heanyang1 121 1,016
    2,220th KatieLG-Transpiler 🇬🇧 121 1,018
    2,221st dokutan 117 944
    2,222nd KatieLG 🇬🇧 110 1,004
    2,222nd KatieLG-Transpiler 🇬🇧 110 1,004
    2,222nd Yewzir 🇧🇪 110 1,004
    2,222nd voytxt 🇨🇿 110 1,004
    2,222nd Shanethegamer 🇺🇸 110 1,004
    2,222nd madeforlosers 110 1,004
    2,222nd HumanoidCPU 110 1,004
    2,222nd bac0id 110 1,004
    2,222nd Mabeloid 🇳🇴 110 1,004
    2,222nd CaedenHarper 🇨🇦 110 1,004
    2,222nd JunkIce 110 1,004
    2,222nd heanyang1 110 1,004
    2,222nd gigaprofisi 🇺🇸 110 1,004
    2,235th retrohun 109 1,008
    2,235th ehulinsky 🇺🇸 109 1,008
    2,235th FortuiteMan 🇫🇷 109 1,008
    2,238th CaedenHarper 🇨🇦 89 2,007
    2,239th FortuiteMan 🇫🇷 88 2,013
    2,240th JunkIce 88 2,026
    2,241st lyphyser 75 3,607
    2,242nd ValentinCassayre 8 20,013
    2,243rd Dazza314 🇬🇧 7 80,690
    2,244th ihearrodmod 1 108,234
    2,245th ovs-code 🇩🇪 0 276
    2,246th edsrzf 🇳🇿 0 291
    2,247th Shanethegamer 🇺🇸 0 673
    2,248th Shanethegamer 🇺🇸 0 676
    2,249th Shanethegamer 🇺🇸 0 847
    2,250th Shanethegamer 🇺🇸 0 853