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