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