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