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