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
    2,160th decorator-factory 172 1,011
    2,160th ElevatorShaft 172 1,011
    2,160th TheAristos 172 1,011
    2,160th SpareManiKatti 172 1,011
    2,160th RYNO8 172 1,011
    2,166th jusaka 172 1,012
    2,167th JOrE20 171 944
    2,168th KatieLG 🇬🇧 171 1,010
    2,168th KatieLG-Transpiler 🇬🇧 171 1,010
    2,168th snoozingnewt 🇨🇦 171 1,010
    2,168th adriweb 🇫🇷 171 1,010
    2,168th voytxt 🇨🇿 171 1,010
    2,168th FortuiteMan 🇫🇷 171 1,010
    2,168th msbranicky 171 1,010
    2,168th MeWhenI 🇻🇦 171 1,010
    2,168th madeforlosers 171 1,010
    2,168th Mabeloid 🇳🇴 171 1,010
    2,168th CaedenHarper 🇨🇦 171 1,010
    2,168th JunkIce 171 1,010
    2,168th sciencejiho 171 1,010
    2,168th heanyang1 171 1,010
    2,168th gigaprofisi 🇺🇸 171 1,010
    2,168th JOrE20 171 1,010
    2,168th jusaka 171 1,010
    2,185th jackkav 168 1,009
    2,185th JRaspass 🇬🇧 168 1,009
    2,185th jn-lp 🇺🇦 168 1,009
    2,185th UBKorkut 168 1,009
    2,185th BBoehm 🇩🇪 168 1,009
    2,185th SpareManiKatti 168 1,009
    2,185th Cazka 168 1,009
    2,185th KatieLG 🇬🇧 168 1,009
    2,185th hacker19374 168 1,009
    2,185th zakariamouhid 168 1,009
    2,185th Jacob385 168 1,009
    2,185th olleicua 🇺🇸 168 1,009
    2,185th XenThe 🇬🇧 168 1,009
    2,185th Ultra814 168 1,009
    2,199th Mojken 168 1,011
    2,199th retrohun 168 1,011
    2,199th SirHig 168 1,011
    2,199th rowboat1 168 1,011
    2,199th decorator-factory 168 1,011
    2,199th dcure73 168 1,011
    2,199th ElevatorShaft 168 1,011
    2,199th TheAristos 168 1,011
    2,199th Codsilla 🇨🇦 168 1,011
    2,199th Redbowpatch101 168 1,011
    2,199th Waffle3z 168 1,011
    2,199th mothcolada 🇺🇸 168 1,011
    2,199th Kudostoy0u 168 1,011
    2,199th pbarath 168 1,011
    2,199th kozgera 168 1,011
    2,199th theunofficialcoder 168 1,011
    2,199th RYNO8 168 1,011
    2,199th vang1ong7ang 168 1,011
    2,199th mokymok 🇺🇸 168 1,011
    2,199th wansacis 🇩🇪 168 1,011
    2,199th Tgwizman 168 1,011
    2,199th KatieLG-Transpiler 🇬🇧 168 1,011
    2,199th vroup 🇩🇰 168 1,011
    2,199th FortuiteMan 🇫🇷 168 1,011
    2,199th Mabeloid 🇳🇴 168 1,011
    2,199th JunkIce 168 1,011
    2,199th heanyang1 168 1,011
    2,199th Babafaba 168 1,011
    2,199th amazingalek 🇳🇴 168 1,011
    2,228th jusaka 167 1,013
    2,229th OmegaB0t 167 1,015
    2,230th hugohutri 167 1,017
    2,231st JOrE20 166 944
    2,232nd Jacob385 166 1,010
    2,232nd Mabeloid 🇳🇴 166 1,010
    2,232nd FortuiteMan 🇫🇷 166 1,010
    2,232nd retrohun 166 1,010
    2,232nd Shanethegamer 🇺🇸 166 1,010
    2,232nd madeforlosers 166 1,010
    2,232nd gigaprofisi 🇺🇸 166 1,010
    2,239th HumanoidCPU 165 1,012
    2,239th bac0id 165 1,012