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
    1,950th HumanoidCPU 171 1,009
    1,952nd KatieLG 🇬🇧 171 1,010
    1,952nd KatieLG-Transpiler 🇬🇧 171 1,010
    1,952nd snoozingnewt 🇺🇸 171 1,010
    1,952nd adriweb 🇫🇷 171 1,010
    1,952nd voytxt 🇨🇿 171 1,010
    1,952nd FortuiteMan 🇫🇷 171 1,010
    1,952nd msbranicky 171 1,010
    1,952nd MeWhenI 🇻🇦 171 1,010
    1,952nd madeforlosers 171 1,010
    1,952nd Mabeloid 🇳🇴 171 1,010
    1,952nd CaedenHarper 🇨🇦 171 1,010
    1,952nd JunkIce 171 1,010
    1,952nd sciencejiho 171 1,010
    1,952nd heanyang1 171 1,010
    1,952nd gigaprofisi 🇺🇸 171 1,010
    1,967th jackkav 168 1,009
    1,967th JRaspass 🇬🇧 168 1,009
    1,967th jn-lp 🇺🇦 168 1,009
    1,967th UBKorkut 168 1,009
    1,967th BBoehm 🇩🇪 168 1,009
    1,967th SpareManiKatti 168 1,009
    1,967th Cazka 168 1,009
    1,967th KatieLG 🇬🇧 168 1,009
    1,967th hacker19374 168 1,009
    1,967th zakariamouhid 168 1,009
    1,967th Jacob385 168 1,009
    1,967th olleicua 🇺🇸 168 1,009
    1,967th XenThe 🇬🇧 168 1,009
    1,980th Mojken 168 1,011
    1,980th retrohun 168 1,011
    1,980th SirHig 168 1,011
    1,980th rowboat1 168 1,011
    1,980th decorator-factory 168 1,011
    1,980th dcure73 168 1,011
    1,980th ElevatorShaft 168 1,011
    1,980th TheAristos 168 1,011
    1,980th Codsilla 🇨🇦 168 1,011
    1,980th Redbowpatch101 168 1,011
    1,980th Waffle3z 168 1,011
    1,980th mothcolada 🇺🇸 168 1,011
    1,980th Kudostoy0u 168 1,011
    1,980th pbarath 168 1,011
    1,980th kozgera 168 1,011
    1,980th theunofficialcoder 168 1,011
    1,980th RYNO8 168 1,011
    1,980th vang1ong7ang 168 1,011
    1,980th mokymok 🇺🇸 168 1,011
    1,980th wansacis 🇩🇪 168 1,011
    1,980th Tgwizman 168 1,011
    1,980th KatieLG-Transpiler 🇬🇧 168 1,011
    1,980th vroup 🇩🇰 168 1,011
    1,980th FortuiteMan 🇫🇷 168 1,011
    1,980th Mabeloid 🇳🇴 168 1,011
    1,980th JunkIce 168 1,011
    1,980th heanyang1 168 1,011
    1,980th Babafaba 168 1,011
    2,008th OmegaB0t 167 1,015
    2,009th hugohutri 167 1,017
    2,010th Jacob385 166 1,010
    2,010th Mabeloid 🇳🇴 166 1,010
    2,010th FortuiteMan 🇫🇷 166 1,010
    2,010th retrohun 166 1,010
    2,010th Shanethegamer 🇺🇸 166 1,010
    2,010th madeforlosers 166 1,010
    2,010th gigaprofisi 🇺🇸 166 1,010
    2,017th HumanoidCPU 165 1,012
    2,017th bac0id 165 1,012
    2,017th CaedenHarper 🇨🇦 165 1,012
    2,020th voytxt 🇨🇿 165 1,013
    2,020th heanyang1 165 1,013
    2,022nd KatieLG 🇬🇧 165 1,016
    2,022nd voytxt 🇨🇿 165 1,016
    2,022nd HumanoidCPU 165 1,016
    2,022nd KatieLG-Transpiler 🇬🇧 165 1,016