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