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,869th Mabeloid 🇳🇴 177 1,007
    1,869th Shanethegamer 🇺🇸 177 1,007
    1,878th krissemicolon 177 1,010
    1,879th SpareManiKatti 177 1,011
    1,880th dokutan 176 950
    1,881st KatieLG 🇬🇧 176 1,007
    1,881st UBKorkut 176 1,007
    1,881st mothcolada 🇺🇸 176 1,007
    1,884th ToriTheChicken 176 1,009
    1,884th KatieLG-Transpiler 🇬🇧 176 1,009
    1,886th SpareManiKatti 176 1,010
    1,887th retrohun 175 1,013
    1,887th 1231234md5 🇨🇳 175 1,013
    1,889th Waffle3z 175 1,015
    1,889th FortuiteMan 🇫🇷 175 1,015
    1,889th JunkIce 175 1,015
    1,892nd bac0id 175 1,019
    1,893rd Omega65536 🇩🇪 173 1,029
    1,894th mothcolada 🇺🇸 173 1,100
    1,895th dokutan 172 1,007
    1,896th retrohun 172 1,008
    1,896th lancew 🇳🇿 172 1,008
    1,896th ToriTheChicken 172 1,008
    1,896th Waffle3z 172 1,008
    1,896th KatieLG 🇬🇧 172 1,008
    1,896th mothcolada 🇺🇸 172 1,008
    1,896th Indivicivet 172 1,008
    1,896th kurkale6ka 172 1,008
    1,896th scpchicken 🇵🇼 172 1,008
    1,896th mokymok 🇺🇸 172 1,008
    1,896th MeWhenI 🇻🇦 172 1,008
    1,896th voytxt 🇨🇿 172 1,008
    1,896th KatieLG-Transpiler 🇬🇧 172 1,008
    1,896th Yewzir 🇧🇪 172 1,008
    1,896th madeforlosers 172 1,008
    1,896th HumanoidCPU 172 1,008
    1,896th bac0id 172 1,008
    1,896th Mabeloid 🇳🇴 172 1,008
    1,896th CaedenHarper 🇨🇦 172 1,008
    1,896th JunkIce 172 1,008
    1,896th heanyang1 172 1,008
    1,896th gigaprofisi 🇺🇸 172 1,008
    1,918th FortuiteMan 🇫🇷 172 1,009
    1,918th ehulinsky 🇺🇸 172 1,009
    1,920th Mojken 172 1,011
    1,920th decorator-factory 172 1,011
    1,920th ElevatorShaft 172 1,011
    1,920th TheAristos 172 1,011
    1,920th SpareManiKatti 172 1,011
    1,920th RYNO8 172 1,011
    1,926th bac0id 171 1,009
    1,926th HumanoidCPU 171 1,009
    1,928th KatieLG 🇬🇧 171 1,010
    1,928th KatieLG-Transpiler 🇬🇧 171 1,010
    1,928th snoozingnewt 🇺🇸 171 1,010
    1,928th adriweb 🇫🇷 171 1,010
    1,928th voytxt 🇨🇿 171 1,010
    1,928th FortuiteMan 🇫🇷 171 1,010
    1,928th msbranicky 171 1,010
    1,928th MeWhenI 🇻🇦 171 1,010
    1,928th madeforlosers 171 1,010
    1,928th Mabeloid 🇳🇴 171 1,010
    1,928th CaedenHarper 🇨🇦 171 1,010
    1,928th JunkIce 171 1,010
    1,928th sciencejiho 171 1,010
    1,928th heanyang1 171 1,010
    1,928th gigaprofisi 🇺🇸 171 1,010
    1,943rd jackkav 168 1,009
    1,943rd JRaspass 🇬🇧 168 1,009
    1,943rd jn-lp 🇺🇦 168 1,009
    1,943rd UBKorkut 168 1,009
    1,943rd BBoehm 🇩🇪 168 1,009
    1,943rd SpareManiKatti 168 1,009
    1,943rd Cazka 168 1,009
    1,943rd KatieLG 🇬🇧 168 1,009