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,999th Brain-Boy-53 177 1,066
    2,002nd JOrE20 177 1,067
    2,003rd dokutan 176 950
    2,004th KatieLG 🇬🇧 176 1,007
    2,004th UBKorkut 176 1,007
    2,004th mothcolada 🇺🇸 176 1,007
    2,007th ToriTheChicken 176 1,009
    2,007th KatieLG-Transpiler 🇬🇧 176 1,009
    2,009th SpareManiKatti 176 1,010
    2,010th gigaprofisi 🇺🇸 176 1,015
    2,011th adamnielson42 🇺🇸 176 1,068
    2,012th retrohun 175 1,013
    2,012th 1231234md5 🇨🇳 175 1,013
    2,014th Waffle3z 175 1,015
    2,014th FortuiteMan 🇫🇷 175 1,015
    2,014th JunkIce 175 1,015
    2,017th bac0id 175 1,019
    2,018th Omega65536 🇩🇪 173 1,029
    2,019th mothcolada 🇺🇸 173 1,100
    2,020th KatieLG 🇬🇧 172 1,007
    2,021st retrohun 172 1,008
    2,021st lancew 🇳🇿 172 1,008
    2,021st ToriTheChicken 172 1,008
    2,021st Waffle3z 172 1,008
    2,021st mothcolada 🇺🇸 172 1,008
    2,021st Indivicivet 172 1,008
    2,021st kurkale6ka 172 1,008
    2,021st scpchicken 🇵🇼 172 1,008
    2,021st mokymok 🇺🇸 172 1,008
    2,021st MeWhenI 🇻🇦 172 1,008
    2,021st voytxt 🇨🇿 172 1,008
    2,021st KatieLG-Transpiler 🇬🇧 172 1,008
    2,021st Yewzir 🇧🇪 172 1,008
    2,021st madeforlosers 172 1,008
    2,021st HumanoidCPU 172 1,008
    2,021st bac0id 172 1,008
    2,021st Mabeloid 🇳🇴 172 1,008
    2,021st CaedenHarper 🇨🇦 172 1,008
    2,021st JunkIce 172 1,008
    2,021st heanyang1 172 1,008
    2,021st gigaprofisi 🇺🇸 172 1,008
    2,021st JOrE20 172 1,008
    2,043rd FortuiteMan 🇫🇷 172 1,009
    2,043rd ehulinsky 🇺🇸 172 1,009
    2,045th Mojken 172 1,011
    2,045th decorator-factory 172 1,011
    2,045th ElevatorShaft 172 1,011
    2,045th TheAristos 172 1,011
    2,045th SpareManiKatti 172 1,011
    2,045th RYNO8 172 1,011
    2,051st JOrE20 171 944
    2,052nd bac0id 171 1,009
    2,052nd HumanoidCPU 171 1,009
    2,054th KatieLG 🇬🇧 171 1,010
    2,054th KatieLG-Transpiler 🇬🇧 171 1,010
    2,054th snoozingnewt 🇨🇦 171 1,010
    2,054th adriweb 🇫🇷 171 1,010
    2,054th voytxt 🇨🇿 171 1,010
    2,054th FortuiteMan 🇫🇷 171 1,010
    2,054th msbranicky 171 1,010
    2,054th MeWhenI 🇻🇦 171 1,010
    2,054th madeforlosers 171 1,010
    2,054th Mabeloid 🇳🇴 171 1,010
    2,054th CaedenHarper 🇨🇦 171 1,010
    2,054th JunkIce 171 1,010
    2,054th sciencejiho 171 1,010
    2,054th heanyang1 171 1,010
    2,054th gigaprofisi 🇺🇸 171 1,010
    2,054th JOrE20 171 1,010
    2,070th JOrE20 168 944
    2,071st jackkav 168 1,009
    2,071st JRaspass 🇬🇧 168 1,009
    2,071st jn-lp 🇺🇦 168 1,009
    2,071st UBKorkut 168 1,009
    2,071st BBoehm 🇩🇪 168 1,009
    2,071st SpareManiKatti 168 1,009
    2,071st Cazka 168 1,009
    2,071st KatieLG 🇬🇧 168 1,009
    2,071st hacker19374 168 1,009
    2,071st zakariamouhid 168 1,009