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,163rd FortuiteMan 🇫🇷 148 1,008
    2,163rd msbranicky 148 1,008
    2,163rd madeforlosers 148 1,008
    2,163rd HumanoidCPU 148 1,008
    2,163rd bac0id 148 1,008
    2,163rd LostSyntax21 🇬🇧 148 1,008
    2,163rd Mabeloid 🇳🇴 148 1,008
    2,163rd CaedenHarper 🇨🇦 148 1,008
    2,163rd JunkIce 148 1,008
    2,163rd heanyang1 148 1,008
    2,186th mothcolada 🇺🇸 148 1,009
    2,186th BrenSchaap 148 1,009
    2,188th abailey2020 🇺🇸 147 1,010
    2,188th RYNO8 147 1,010
    2,190th Mojken 147 1,011
    2,190th decorator-factory 147 1,011
    2,190th SpareManiKatti 147 1,011
    2,193rd Mojken 142 1,011
    2,193rd RustemB 🇷🇺 142 1,011
    2,193rd JRaspass 🇬🇧 142 1,011
    2,193rd retrohun 142 1,011
    2,193rd decorator-factory 142 1,011
    2,193rd Waffle3z 142 1,011
    2,193rd KatieLG 🇬🇧 142 1,011
    2,193rd kurkale6ka 142 1,011
    2,193rd theunofficialcoder 142 1,011
    2,193rd RYNO8 142 1,011
    2,193rd SpareManiKatti 142 1,011
    2,193rd mokymok 🇺🇸 142 1,011
    2,193rd voytxt 🇨🇿 142 1,011
    2,193rd mothcolada 🇺🇸 142 1,011
    2,193rd Codsilla 🇨🇦 142 1,011
    2,193rd FortuiteMan 🇫🇷 142 1,011
    2,193rd madeforlosers 142 1,011
    2,193rd HumanoidCPU 142 1,011
    2,193rd Yewzir 🇧🇪 142 1,011
    2,193rd bac0id 142 1,011
    2,193rd Mabeloid 🇳🇴 142 1,011
    2,193rd CaedenHarper 🇨🇦 142 1,011
    2,193rd heanyang1 142 1,011
    2,193rd gigaprofisi 🇺🇸 142 1,011
    2,217th JunkIce 142 1,013
    2,218th Dazza314 🇬🇧 141 2,945
    2,219th KatieLG-Transpiler 🇬🇧 136 1,058
    2,220th dokutan 123 999
    2,221st RustemB 🇷🇺 122 1,010
    2,221st Waffle3z 122 1,010
    2,221st KatieLG 🇬🇧 122 1,010
    2,221st MeWhenI 🇻🇦 122 1,010
    2,221st voytxt 🇨🇿 122 1,010
    2,221st Shanethegamer 🇺🇸 122 1,010
    2,221st CaedenHarper 🇨🇦 122 1,010
    2,228th Mabeloid 🇳🇴 122 1,011
    2,229th madeforlosers 121 1,016
    2,229th heanyang1 121 1,016
    2,231st KatieLG-Transpiler 🇬🇧 121 1,018
    2,232nd dokutan 117 944
    2,233rd blaztoma 🇱🇹 116 1,651
    2,234th KatieLG 🇬🇧 110 1,004
    2,234th KatieLG-Transpiler 🇬🇧 110 1,004
    2,234th Yewzir 🇧🇪 110 1,004
    2,234th voytxt 🇨🇿 110 1,004
    2,234th Shanethegamer 🇺🇸 110 1,004
    2,234th madeforlosers 110 1,004
    2,234th HumanoidCPU 110 1,004
    2,234th bac0id 110 1,004
    2,234th Mabeloid 🇳🇴 110 1,004
    2,234th CaedenHarper 🇨🇦 110 1,004
    2,234th JunkIce 110 1,004
    2,234th heanyang1 110 1,004
    2,234th gigaprofisi 🇺🇸 110 1,004
    2,247th retrohun 109 1,008
    2,247th ehulinsky 🇺🇸 109 1,008
    2,247th FortuiteMan 🇫🇷 109 1,008
    2,250th blaztoma 🇱🇹 100 2,240