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,947th BBoehm 🇩🇪 168 1,009
    1,947th SpareManiKatti 168 1,009
    1,947th Cazka 168 1,009
    1,947th KatieLG 🇬🇧 168 1,009
    1,947th hacker19374 168 1,009
    1,947th zakariamouhid 168 1,009
    1,947th Jacob385 168 1,009
    1,947th olleicua 🇺🇸 168 1,009
    1,959th Mojken 168 1,011
    1,959th retrohun 168 1,011
    1,959th SirHig 168 1,011
    1,959th rowboat1 168 1,011
    1,959th decorator-factory 168 1,011
    1,959th dcure73 168 1,011
    1,959th yeetmyyeet 168 1,011
    1,959th TheAristos 168 1,011
    1,959th Codsilla 🇨🇦 168 1,011
    1,959th Redbowpatch101 168 1,011
    1,959th Waffle3z 168 1,011
    1,959th mothcolada 🇺🇸 168 1,011
    1,959th Kudostoy0u 168 1,011
    1,959th pbarath 168 1,011
    1,959th kozgera 168 1,011
    1,959th theunofficialcoder 168 1,011
    1,959th RYNO8 168 1,011
    1,959th vang1ong7ang 168 1,011
    1,959th mokymok 🇺🇸 168 1,011
    1,959th wansacis 🇩🇪 168 1,011
    1,959th Tgwizman 168 1,011
    1,959th KatieLG-Transpiler 🇬🇧 168 1,011
    1,959th vroup 🇩🇰 168 1,011
    1,959th FortuiteMan 🇫🇷 168 1,011
    1,959th snoozingnewt 🇺🇸 168 1,011
    1,959th Mabeloid 🇳🇴 168 1,011
    1,959th JunkIce 168 1,011
    1,959th heanyang1 168 1,011
    1,959th 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