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,160th HumanoidCPU 148 1,008
    2,160th bac0id 148 1,008
    2,160th LostSyntax21 🇬🇧 148 1,008
    2,160th Mabeloid 🇳🇴 148 1,008
    2,160th CaedenHarper 🇨🇦 148 1,008
    2,160th JunkIce 148 1,008
    2,160th heanyang1 148 1,008
    2,183rd mothcolada 🇺🇸 148 1,009
    2,183rd BrenSchaap 148 1,009
    2,185th abailey2020 🇺🇸 147 1,010
    2,185th RYNO8 147 1,010
    2,187th Mojken 147 1,011
    2,187th decorator-factory 147 1,011
    2,187th SpareManiKatti 147 1,011
    2,190th Mojken 142 1,011
    2,190th RustemB 🇷🇺 142 1,011
    2,190th JRaspass 🇬🇧 142 1,011
    2,190th retrohun 142 1,011
    2,190th decorator-factory 142 1,011
    2,190th Waffle3z 142 1,011
    2,190th KatieLG 🇬🇧 142 1,011
    2,190th kurkale6ka 142 1,011
    2,190th theunofficialcoder 142 1,011
    2,190th RYNO8 142 1,011
    2,190th SpareManiKatti 142 1,011
    2,190th mokymok 🇺🇸 142 1,011
    2,190th voytxt 🇨🇿 142 1,011
    2,190th mothcolada 🇺🇸 142 1,011
    2,190th Codsilla 🇨🇦 142 1,011
    2,190th FortuiteMan 🇫🇷 142 1,011
    2,190th madeforlosers 142 1,011
    2,190th HumanoidCPU 142 1,011
    2,190th Yewzir 🇧🇪 142 1,011
    2,190th bac0id 142 1,011
    2,190th Mabeloid 🇳🇴 142 1,011
    2,190th CaedenHarper 🇨🇦 142 1,011
    2,190th heanyang1 142 1,011
    2,190th gigaprofisi 🇺🇸 142 1,011
    2,214th JunkIce 142 1,013
    2,215th Dazza314 🇬🇧 141 2,945
    2,216th KatieLG-Transpiler 🇬🇧 136 1,058
    2,217th dokutan 123 999
    2,218th RustemB 🇷🇺 122 1,010
    2,218th Waffle3z 122 1,010
    2,218th KatieLG 🇬🇧 122 1,010
    2,218th MeWhenI 🇻🇦 122 1,010
    2,218th voytxt 🇨🇿 122 1,010
    2,218th Shanethegamer 🇺🇸 122 1,010
    2,218th CaedenHarper 🇨🇦 122 1,010
    2,225th Mabeloid 🇳🇴 122 1,011
    2,226th madeforlosers 121 1,016
    2,226th heanyang1 121 1,016
    2,228th KatieLG-Transpiler 🇬🇧 121 1,018
    2,229th dokutan 117 944
    2,230th blaztoma 🇱🇹 116 1,651
    2,231st KatieLG 🇬🇧 110 1,004
    2,231st KatieLG-Transpiler 🇬🇧 110 1,004
    2,231st Yewzir 🇧🇪 110 1,004
    2,231st voytxt 🇨🇿 110 1,004
    2,231st Shanethegamer 🇺🇸 110 1,004
    2,231st madeforlosers 110 1,004
    2,231st HumanoidCPU 110 1,004
    2,231st bac0id 110 1,004
    2,231st Mabeloid 🇳🇴 110 1,004
    2,231st CaedenHarper 🇨🇦 110 1,004
    2,231st JunkIce 110 1,004
    2,231st heanyang1 110 1,004
    2,231st gigaprofisi 🇺🇸 110 1,004
    2,244th retrohun 109 1,008
    2,244th ehulinsky 🇺🇸 109 1,008
    2,244th FortuiteMan 🇫🇷 109 1,008
    2,247th blaztoma 🇱🇹 100 2,240
    2,248th CaedenHarper 🇨🇦 89 2,007
    2,249th FortuiteMan 🇫🇷 88 2,013
    2,250th JunkIce 88 2,026