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