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