Ctrl+P again to print, arrows/tab to navigate results, enter to confirm

    Rankings: Holes

    λ in all languages in bytes.

    # Golfer Points Bytes Time Submitted
    1,951st Mojken 172 1,011
    1,951st decorator-factory 172 1,011
    1,951st ElevatorShaft 172 1,011
    1,951st TheAristos 172 1,011
    1,951st SpareManiKatti 172 1,011
    1,951st RYNO8 172 1,011
    1,957th bac0id 171 1,009
    1,957th HumanoidCPU 171 1,009
    1,959th KatieLG 🇬🇧 171 1,010
    1,959th KatieLG-Transpiler 🇬🇧 171 1,010
    1,959th snoozingnewt 🇺🇸 171 1,010
    1,959th adriweb 🇫🇷 171 1,010
    1,959th voytxt 🇨🇿 171 1,010
    1,959th FortuiteMan 🇫🇷 171 1,010
    1,959th msbranicky 171 1,010
    1,959th MeWhenI 🇻🇦 171 1,010
    1,959th madeforlosers 171 1,010
    1,959th Mabeloid 🇳🇴 171 1,010
    1,959th CaedenHarper 🇨🇦 171 1,010
    1,959th JunkIce 171 1,010
    1,959th sciencejiho 171 1,010
    1,959th heanyang1 171 1,010
    1,959th gigaprofisi 🇺🇸 171 1,010
    1,974th jackkav 168 1,009
    1,974th JRaspass 🇬🇧 168 1,009
    1,974th jn-lp 🇺🇦 168 1,009
    1,974th UBKorkut 168 1,009
    1,974th BBoehm 🇩🇪 168 1,009
    1,974th SpareManiKatti 168 1,009
    1,974th Cazka 168 1,009
    1,974th KatieLG 🇬🇧 168 1,009
    1,974th hacker19374 168 1,009
    1,974th zakariamouhid 168 1,009
    1,974th Jacob385 168 1,009
    1,974th olleicua 🇺🇸 168 1,009
    1,974th XenThe 🇬🇧 168 1,009
    1,987th Mojken 168 1,011
    1,987th retrohun 168 1,011
    1,987th SirHig 168 1,011
    1,987th rowboat1 168 1,011
    1,987th decorator-factory 168 1,011
    1,987th dcure73 168 1,011
    1,987th ElevatorShaft 168 1,011
    1,987th TheAristos 168 1,011
    1,987th Codsilla 🇨🇦 168 1,011
    1,987th Redbowpatch101 168 1,011
    1,987th Waffle3z 168 1,011
    1,987th mothcolada 🇺🇸 168 1,011
    1,987th Kudostoy0u 168 1,011
    1,987th pbarath 168 1,011
    1,987th kozgera 168 1,011
    1,987th theunofficialcoder 168 1,011
    1,987th RYNO8 168 1,011
    1,987th vang1ong7ang 168 1,011
    1,987th mokymok 🇺🇸 168 1,011
    1,987th wansacis 🇩🇪 168 1,011
    1,987th Tgwizman 168 1,011
    1,987th KatieLG-Transpiler 🇬🇧 168 1,011
    1,987th vroup 🇩🇰 168 1,011
    1,987th FortuiteMan 🇫🇷 168 1,011
    1,987th Mabeloid 🇳🇴 168 1,011
    1,987th JunkIce 168 1,011
    1,987th heanyang1 168 1,011
    1,987th Babafaba 168 1,011
    2,015th OmegaB0t 167 1,015
    2,016th hugohutri 167 1,017
    2,017th Jacob385 166 1,010
    2,017th Mabeloid 🇳🇴 166 1,010
    2,017th FortuiteMan 🇫🇷 166 1,010
    2,017th retrohun 166 1,010
    2,017th Shanethegamer 🇺🇸 166 1,010
    2,017th madeforlosers 166 1,010
    2,017th gigaprofisi 🇺🇸 166 1,010
    2,024th HumanoidCPU 165 1,012
    2,024th bac0id 165 1,012