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

    Rankings: Holes

    λ in all languages in bytes.

    # Golfer Points Bytes Time
    1,948th UBKorkut 168 1,009
    1,948th BBoehm 🇩🇪 168 1,009
    1,948th SpareManiKatti 168 1,009
    1,948th Cazka 168 1,009
    1,948th KatieLG 🇬🇧 168 1,009
    1,948th hacker19374 168 1,009
    1,948th zakariamouhid 168 1,009
    1,948th Jacob385 168 1,009
    1,948th olleicua 🇺🇸 168 1,009
    1,960th Mojken 168 1,011
    1,960th retrohun 168 1,011
    1,960th SirHig 168 1,011
    1,960th rowboat1 168 1,011
    1,960th decorator-factory 168 1,011
    1,960th dcure73 168 1,011
    1,960th ElevatorShaft 168 1,011
    1,960th TheAristos 168 1,011
    1,960th Codsilla 🇨🇦 168 1,011
    1,960th Redbowpatch101 168 1,011
    1,960th Waffle3z 168 1,011
    1,960th mothcolada 🇺🇸 168 1,011
    1,960th Kudostoy0u 168 1,011
    1,960th pbarath 168 1,011
    1,960th kozgera 168 1,011
    1,960th theunofficialcoder 168 1,011
    1,960th RYNO8 168 1,011
    1,960th vang1ong7ang 168 1,011
    1,960th mokymok 🇺🇸 168 1,011
    1,960th wansacis 🇩🇪 168 1,011
    1,960th Tgwizman 168 1,011
    1,960th KatieLG-Transpiler 🇬🇧 168 1,011
    1,960th vroup 🇩🇰 168 1,011
    1,960th FortuiteMan 🇫🇷 168 1,011
    1,960th Mabeloid 🇳🇴 168 1,011
    1,960th JunkIce 168 1,011
    1,960th heanyang1 168 1,011
    1,960th XenThe 🇬🇧 168 1,011
    1,988th OmegaB0t 167 1,015
    1,989th hugohutri 167 1,017
    1,990th Jacob385 166 1,010
    1,990th Mabeloid 🇳🇴 166 1,010
    1,990th FortuiteMan 🇫🇷 166 1,010
    1,990th retrohun 166 1,010
    1,990th Shanethegamer 🇺🇸 166 1,010
    1,990th madeforlosers 166 1,010
    1,990th gigaprofisi 🇺🇸 166 1,010
    1,997th HumanoidCPU 165 1,012
    1,997th bac0id 165 1,012
    1,997th CaedenHarper 🇨🇦 165 1,012
    2,000th voytxt 🇨🇿 165 1,013
    2,000th heanyang1 165 1,013
    2,002nd KatieLG 🇬🇧 165 1,016
    2,002nd voytxt 🇨🇿 165 1,016
    2,002nd HumanoidCPU 165 1,016
    2,002nd KatieLG-Transpiler 🇬🇧 165 1,016
    2,002nd Mabeloid 🇳🇴 165 1,016
    2,002nd FortuiteMan 🇫🇷 165 1,016
    2,002nd madeforlosers 165 1,016
    2,002nd JunkIce 165 1,016
    2,002nd CaedenHarper 🇨🇦 165 1,016
    2,002nd ehulinsky 🇺🇸 165 1,016
    2,002nd heanyang1 165 1,016
    2,013th KevinMarquette 🇺🇸 165 1,077
    2,014th blaztoma 🇱🇹 165 1,240
    2,015th codewrite 🇬🇧 164 983
    2,016th KatieLG 🇬🇧 164 1,019
    2,017th JRaspass 🇬🇧 161 1,007
    2,017th Mojken 161 1,007
    2,017th retrohun 161 1,007
    2,017th Waffle3z 161 1,007
    2,017th KatieLG 🇬🇧 161 1,007
    2,017th kurkale6ka 161 1,007
    2,017th theunofficialcoder 161 1,007
    2,017th mokymok 🇺🇸 161 1,007
    2,017th MeWhenI 🇻🇦 161 1,007