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,949th Brain-Boy-53 177 1,066
    1,952nd JOrE20 🇺🇸 177 1,067
    1,953rd dokutan 176 950
    1,954th KatieLG 🇬🇧 176 1,007
    1,954th UBKorkut 176 1,007
    1,954th mothcolada 🇺🇸 176 1,007
    1,957th ToriTheChicken 176 1,009
    1,957th KatieLG-Transpiler 🇬🇧 176 1,009
    1,959th SpareManiKatti 176 1,010
    1,960th gigaprofisi 🇺🇸 176 1,015
    1,961st adamnielson42 🇺🇸 176 1,068
    1,962nd retrohun 175 1,013
    1,962nd 1231234md5 🇨🇳 175 1,013
    1,964th Waffle3z 175 1,015
    1,964th FortuiteMan 🇫🇷 175 1,015
    1,964th JunkIce 175 1,015
    1,967th bac0id 175 1,019
    1,968th Omega65536 🇩🇪 173 1,029
    1,969th mothcolada 🇺🇸 173 1,100
    1,970th KatieLG 🇬🇧 172 1,007
    1,971st retrohun 172 1,008
    1,971st lancew 🇳🇿 172 1,008
    1,971st ToriTheChicken 172 1,008
    1,971st Waffle3z 172 1,008
    1,971st mothcolada 🇺🇸 172 1,008
    1,971st Indivicivet 172 1,008
    1,971st kurkale6ka 172 1,008
    1,971st scpchicken 🇵🇼 172 1,008
    1,971st mokymok 🇺🇸 172 1,008
    1,971st MeWhenI 🇻🇦 172 1,008
    1,971st voytxt 🇨🇿 172 1,008
    1,971st KatieLG-Transpiler 🇬🇧 172 1,008
    1,971st Yewzir 🇧🇪 172 1,008
    1,971st madeforlosers 172 1,008
    1,971st HumanoidCPU 172 1,008
    1,971st bac0id 172 1,008
    1,971st Mabeloid 🇳🇴 172 1,008
    1,971st CaedenHarper 🇨🇦 172 1,008
    1,971st JunkIce 172 1,008
    1,971st heanyang1 172 1,008
    1,971st gigaprofisi 🇺🇸 172 1,008
    1,992nd FortuiteMan 🇫🇷 172 1,009
    1,992nd ehulinsky 🇺🇸 172 1,009
    1,994th Mojken 172 1,011
    1,994th decorator-factory 172 1,011
    1,994th ElevatorShaft 172 1,011
    1,994th TheAristos 172 1,011
    1,994th SpareManiKatti 172 1,011
    1,994th RYNO8 172 1,011
    2,000th JOrE20 🇺🇸 171 944
    2,001st bac0id 171 1,009
    2,001st HumanoidCPU 171 1,009
    2,003rd KatieLG 🇬🇧 171 1,010
    2,003rd KatieLG-Transpiler 🇬🇧 171 1,010
    2,003rd snoozingnewt 🇨🇦 171 1,010
    2,003rd adriweb 🇫🇷 171 1,010
    2,003rd voytxt 🇨🇿 171 1,010
    2,003rd FortuiteMan 🇫🇷 171 1,010
    2,003rd msbranicky 171 1,010
    2,003rd MeWhenI 🇻🇦 171 1,010
    2,003rd madeforlosers 171 1,010
    2,003rd Mabeloid 🇳🇴 171 1,010
    2,003rd CaedenHarper 🇨🇦 171 1,010
    2,003rd JunkIce 171 1,010
    2,003rd sciencejiho 171 1,010
    2,003rd heanyang1 171 1,010
    2,003rd gigaprofisi 🇺🇸 171 1,010
    2,003rd JOrE20 🇺🇸 171 1,010
    2,019th jackkav 168 1,009
    2,019th JRaspass 🇬🇧 168 1,009
    2,019th jn-lp 🇺🇦 168 1,009
    2,019th UBKorkut 168 1,009
    2,019th BBoehm 🇩🇪 168 1,009
    2,019th SpareManiKatti 168 1,009
    2,019th Cazka 168 1,009