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

    Rankings: Holes

    λ in all languages in bytes.

    # Golfer Points Bytes Time
    1,871st retrohun 177 1,007
    1,871st adamnielson42 🇺🇸 177 1,007
    1,871st Mabeloid 🇳🇴 177 1,007
    1,871st Shanethegamer 🇺🇸 177 1,007
    1,880th krissemicolon 177 1,010
    1,881st SpareManiKatti 177 1,011
    1,882nd dokutan 176 950
    1,883rd KatieLG 🇬🇧 176 1,007
    1,883rd UBKorkut 176 1,007
    1,883rd mothcolada 🇺🇸 176 1,007
    1,886th ToriTheChicken 176 1,009
    1,886th KatieLG-Transpiler 🇬🇧 176 1,009
    1,888th SpareManiKatti 176 1,010
    1,889th retrohun 175 1,013
    1,889th 1231234md5 🇨🇳 175 1,013
    1,891st Waffle3z 175 1,015
    1,891st FortuiteMan 🇫🇷 175 1,015
    1,891st JunkIce 175 1,015
    1,894th bac0id 175 1,019
    1,895th Omega65536 🇩🇪 173 1,029
    1,896th mothcolada 🇺🇸 173 1,100
    1,897th dokutan 172 1,007
    1,898th retrohun 172 1,008
    1,898th lancew 🇳🇿 172 1,008
    1,898th ToriTheChicken 172 1,008
    1,898th Waffle3z 172 1,008
    1,898th KatieLG 🇬🇧 172 1,008
    1,898th mothcolada 🇺🇸 172 1,008
    1,898th Indivicivet 172 1,008
    1,898th kurkale6ka 172 1,008
    1,898th scpchicken 🇵🇼 172 1,008
    1,898th mokymok 🇺🇸 172 1,008
    1,898th MeWhenI 🇻🇦 172 1,008
    1,898th voytxt 🇨🇿 172 1,008
    1,898th KatieLG-Transpiler 🇬🇧 172 1,008
    1,898th Yewzir 🇧🇪 172 1,008
    1,898th madeforlosers 172 1,008
    1,898th HumanoidCPU 172 1,008
    1,898th bac0id 172 1,008
    1,898th Mabeloid 🇳🇴 172 1,008
    1,898th CaedenHarper 🇨🇦 172 1,008
    1,898th JunkIce 172 1,008
    1,898th heanyang1 172 1,008
    1,898th gigaprofisi 🇺🇸 172 1,008
    1,920th FortuiteMan 🇫🇷 172 1,009
    1,920th ehulinsky 🇺🇸 172 1,009
    1,922nd Mojken 172 1,011
    1,922nd decorator-factory 172 1,011
    1,922nd yeetmyyeet 172 1,011
    1,922nd TheAristos 172 1,011
    1,922nd SpareManiKatti 172 1,011
    1,922nd RYNO8 172 1,011
    1,928th bac0id 171 1,009
    1,928th HumanoidCPU 171 1,009
    1,930th KatieLG 🇬🇧 171 1,010
    1,930th KatieLG-Transpiler 🇬🇧 171 1,010
    1,930th snoozingnewt 🇺🇸 171 1,010
    1,930th adriweb 🇫🇷 171 1,010
    1,930th voytxt 🇨🇿 171 1,010
    1,930th FortuiteMan 🇫🇷 171 1,010
    1,930th msbranicky 171 1,010
    1,930th MeWhenI 🇻🇦 171 1,010
    1,930th madeforlosers 171 1,010
    1,930th Mabeloid 🇳🇴 171 1,010
    1,930th CaedenHarper 🇨🇦 171 1,010
    1,930th JunkIce 171 1,010
    1,930th sciencejiho 171 1,010
    1,930th heanyang1 171 1,010
    1,930th gigaprofisi 🇺🇸 171 1,010
    1,945th jackkav 168 1,009
    1,945th JRaspass 🇬🇧 168 1,009
    1,945th jn-lp 🇺🇦 168 1,009
    1,945th UBKorkut 168 1,009
    1,945th BBoehm 🇩🇪 168 1,009
    1,945th SpareManiKatti 168 1,009