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,860th bac0id 172 1,008
    1,860th Mabeloid 🇳🇴 172 1,008
    1,860th CaedenHarper 🇨🇦 172 1,008
    1,860th JunkIce 172 1,008
    1,860th heanyang1 172 1,008
    1,881st cdesodt 172 1,009
    1,881st ehulinsky 🇺🇸 172 1,009
    1,883rd Mojken 172 1,011
    1,883rd decorator-factory 172 1,011
    1,883rd yeetmyyeet 172 1,011
    1,883rd TheAristos 172 1,011
    1,883rd SpareManiKatti 172 1,011
    1,883rd RYNO8 172 1,011
    1,889th bac0id 171 1,009
    1,889th HumanoidCPU 171 1,009
    1,891st KatieLG 🇬🇧 171 1,010
    1,891st KatieLG-Transpiler 🇬🇧 171 1,010
    1,891st snoozingnewt 🇺🇸 171 1,010
    1,891st adriweb 🇫🇷 171 1,010
    1,891st voytxt 🇨🇿 171 1,010
    1,891st cdesodt 171 1,010
    1,891st msbranicky 171 1,010
    1,891st MeWhenI 🇻🇦 171 1,010
    1,891st madeforlosers 171 1,010
    1,891st Mabeloid 🇳🇴 171 1,010
    1,891st CaedenHarper 🇨🇦 171 1,010
    1,891st JunkIce 171 1,010
    1,891st sciencejiho 171 1,010
    1,891st heanyang1 171 1,010
    1,905th jackkav 168 1,009
    1,905th JRaspass 🇬🇧 168 1,009
    1,905th jn-lp 🇺🇦 168 1,009
    1,905th UBKorkut 168 1,009
    1,905th BBoehm 🇩🇪 168 1,009
    1,905th SpareManiKatti 168 1,009
    1,905th Cazka 168 1,009
    1,905th KatieLG 🇬🇧 168 1,009
    1,905th hacker19374 168 1,009
    1,905th zakariamouhid 168 1,009
    1,905th Jacob385 168 1,009
    1,905th CaedenHarper 🇨🇦 168 1,009
    1,917th Mojken 168 1,011
    1,917th retrohun 168 1,011
    1,917th SirHig 168 1,011
    1,917th rowboat1 168 1,011
    1,917th decorator-factory 168 1,011
    1,917th dcure73 168 1,011
    1,917th yeetmyyeet 168 1,011
    1,917th TheAristos 168 1,011
    1,917th Codsilla 🇨🇦 168 1,011
    1,917th Redbowpatch101 168 1,011
    1,917th Waffle3z 168 1,011
    1,917th mothcolada 🇺🇸 168 1,011
    1,917th Kudostoy0u 168 1,011
    1,917th pbarath 168 1,011
    1,917th kozgera 168 1,011
    1,917th theunofficialcoder 168 1,011
    1,917th RYNO8 168 1,011
    1,917th vang1ong7ang 168 1,011
    1,917th mokymok 🇺🇸 168 1,011
    1,917th wansacis 🇩🇪 168 1,011
    1,917th Tgwizman 168 1,011
    1,917th KatieLG-Transpiler 🇬🇧 168 1,011
    1,917th vroup 🇩🇰 168 1,011
    1,917th cdesodt 168 1,011
    1,917th snoozingnewt 🇺🇸 168 1,011
    1,917th Mabeloid 🇳🇴 168 1,011
    1,917th JunkIce 168 1,011
    1,917th heanyang1 168 1,011
    1,917th XenThe 🇬🇧 168 1,011
    1,946th OmegaB0t 167 1,015
    1,947th hugohutri 167 1,017
    1,948th Jacob385 165 1,010
    1,948th Mabeloid 🇳🇴 165 1,010
    1,948th cdesodt 165 1,010