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