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