Ctrl+P again to print, arrows/tab to navigate results, enter to confirm

    Rankings: Holes

    λ in all languages in bytes.

    # Golfer Points Bytes Time Submitted
    2,448th JRaspass 🇬🇧 136 1,008
    2,448th yokasuretsu 136 1,008
    2,448th retrohun 136 1,008
    2,448th TheAristos 136 1,008
    2,448th Waffle3z 136 1,008
    2,448th boxjelly 136 1,008
    2,448th kurkale6ka 136 1,008
    2,448th mokymok 🇺🇸 136 1,008
    2,448th voytxt 🇨🇿 136 1,008
    2,448th KatieLG-Transpiler 🇬🇧 136 1,008
    2,448th Yewzir 🇧🇪 136 1,008
    2,448th FortuiteMan 🇫🇷 136 1,008
    2,448th msbranicky 136 1,008
    2,448th madeforlosers 136 1,008
    2,448th HumanoidCPU 136 1,008
    2,448th bac0id 136 1,008
    2,448th Mabeloid 🇳🇴 136 1,008
    2,448th JunkIce 136 1,008
    2,448th heanyang1 136 1,008
    2,468th mothcolada 🇺🇸 135 1,009
    2,468th BrenSchaap 135 1,009
    2,470th abailey2020 🇺🇸 135 1,010
    2,470th RYNO8 135 1,010
    2,472nd Mojken 135 1,011
    2,472nd decorator-factory 135 1,011
    2,472nd SpareManiKatti 135 1,011
    2,475th KatieLG 🇬🇧 132 1,010
    2,476th Mojken 132 1,011
    2,476th RustemB 🇷🇺 132 1,011
    2,476th JRaspass 🇬🇧 132 1,011
    2,476th retrohun 132 1,011
    2,476th decorator-factory 132 1,011
    2,476th Waffle3z 132 1,011
    2,476th kurkale6ka 132 1,011
    2,476th theunofficialcoder 132 1,011
    2,476th RYNO8 132 1,011
    2,476th SpareManiKatti 132 1,011
    2,476th mokymok 🇺🇸 132 1,011
    2,476th voytxt 🇨🇿 132 1,011
    2,476th mothcolada 🇺🇸 132 1,011
    2,476th Codsilla 🇨🇦 132 1,011
    2,476th FortuiteMan 🇫🇷 132 1,011
    2,476th madeforlosers 132 1,011
    2,476th HumanoidCPU 132 1,011
    2,476th Yewzir 🇧🇪 132 1,011
    2,476th bac0id 132 1,011
    2,476th Mabeloid 🇳🇴 132 1,011
    2,476th CaedenHarper 🇨🇦 132 1,011
    2,476th heanyang1 132 1,011
    2,476th gigaprofisi 🇺🇸 132 1,011
    2,499th JunkIce 132 1,013
    2,500th KatieLG-Transpiler 🇬🇧 126 1,058
    2,502nd dokutan 118 999
    2,503rd RustemB 🇷🇺 117 1,010
    2,503rd Waffle3z 117 1,010
    2,503rd KatieLG 🇬🇧 117 1,010
    2,503rd MeWhenI 🇻🇦 117 1,010
    2,503rd voytxt 🇨🇿 117 1,010
    2,503rd Shanethegamer 🇺🇸 117 1,010
    2,503rd CaedenHarper 🇨🇦 117 1,010
    2,503rd roelderickx 117 1,010
    2,512th Mabeloid 🇳🇴 117 1,011
    2,513th madeforlosers 116 1,016
    2,513th heanyang1 116 1,016
    2,515th KatieLG-Transpiler 🇬🇧 116 1,018
    2,516th dokutan 113 944
    2,519th KatieLG 🇬🇧 106 1,004
    2,519th KatieLG-Transpiler 🇬🇧 106 1,004
    2,519th Yewzir 🇧🇪 106 1,004
    2,519th voytxt 🇨🇿 106 1,004
    2,519th Shanethegamer 🇺🇸 106 1,004
    2,519th madeforlosers 106 1,004
    2,519th HumanoidCPU 106 1,004
    2,519th bac0id 106 1,004
    2,519th Mabeloid 🇳🇴 106 1,004
    2,519th JunkIce 106 1,004
    2,519th heanyang1 106 1,004
    2,519th gigaprofisi 🇺🇸 106 1,004
    2,531st retrohun 106 1,008
    2,531st ehulinsky 🇺🇸 106 1,008
    2,531st FortuiteMan 🇫🇷 106 1,008
    2,534th NicoPlayZ9002-YT 105 1,019
    2,536th CaedenHarper 🇨🇦 88 2,007
    2,536th someCoder-a11y 88 2,007
    2,539th FortuiteMan 🇫🇷 87 2,013
    2,540th JunkIce 87 2,026
    2,541st Shanethegamer 🇺🇸 83 1,003
    2,541st HumanoidCPU 83 1,003
    2,541st kurkale6ka 83 1,003
    2,541st voytxt 🇨🇿 83 1,003
    2,541st CaedenHarper 🇨🇦 83 1,003
    2,546th KatieLG 🇬🇧 83 1,004
    2,546th Nathan-Masala 83 1,004
    2,548th lyphyser 74 3,607
    2,549th ValentinCassayre 7 20,013
    2,550th Dazza314 🇬🇧 7 80,690
    2,551st ihearrodmod 1 108,234
    2,552nd dokutan 0 206
    2,553rd ovs-code 🇩🇪 0 276
    2,554th edsrzf 🇳🇿 0 291