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
    2,199th RYNO8 160 1,009
    2,199th KatieLG-Transpiler 🇬🇧 160 1,009
    2,199th FortuiteMan 🇫🇷 160 1,009
    2,199th ehulinsky 🇺🇸 160 1,009
    2,205th ToriTheChicken 159 1,010
    2,206th decorator-factory 159 1,011
    2,206th TheAristos 159 1,011
    2,206th SpareManiKatti 159 1,011
    2,209th JOrE20 157 944
    2,210th KatieLG 🇬🇧 157 1,016
    2,210th voytxt 🇨🇿 157 1,016
    2,210th HumanoidCPU 157 1,016
    2,210th KatieLG-Transpiler 🇬🇧 157 1,016
    2,210th Mabeloid 🇳🇴 157 1,016
    2,210th FortuiteMan 🇫🇷 157 1,016
    2,210th madeforlosers 157 1,016
    2,210th JunkIce 157 1,016
    2,210th CaedenHarper 🇨🇦 157 1,016
    2,210th ehulinsky 🇺🇸 157 1,016
    2,210th heanyang1 157 1,016
    2,210th JOrE20 157 1,016
    2,210th roelderickx 157 1,016
    2,223rd KevinMarquette 🇺🇸 156 1,077
    2,224th JOrE20 155 944
    2,225th jackkav 155 1,009
    2,225th JRaspass 🇬🇧 155 1,009
    2,225th jn-lp 🇺🇦 155 1,009
    2,225th UBKorkut 155 1,009
    2,225th BBoehm 🇩🇪 155 1,009
    2,225th SpareManiKatti 155 1,009
    2,225th Cazka 155 1,009
    2,225th KatieLG 🇬🇧 155 1,009
    2,225th hacker19374 155 1,009
    2,225th zakariamouhid 155 1,009
    2,225th Jacob385 155 1,009
    2,225th olleicua 🇺🇸 155 1,009
    2,225th XenThe 🇬🇧 155 1,009
    2,225th Ultra814 155 1,009
    2,239th Mojken 155 1,011
    2,239th retrohun 155 1,011
    2,239th SirHig 155 1,011
    2,239th rowboat1 155 1,011
    2,239th decorator-factory 155 1,011
    2,239th dcure73 155 1,011
    2,239th ElevatorShaft 155 1,011
    2,239th TheAristos 155 1,011
    2,239th Codsilla 🇨🇦 155 1,011
    2,239th Redbowpatch101 155 1,011
    2,239th Waffle3z 155 1,011
    2,239th mothcolada 🇺🇸 155 1,011
    2,239th Kudostoy0u 155 1,011
    2,239th pbarath 155 1,011
    2,239th kozgera 155 1,011
    2,239th theunofficialcoder 155 1,011
    2,239th RYNO8 155 1,011
    2,239th mokymok 🇺🇸 155 1,011
    2,239th wansacis 🇩🇪 155 1,011
    2,239th Tgwizman 155 1,011
    2,239th KatieLG-Transpiler 🇬🇧 155 1,011
    2,239th vroup 🇩🇰 155 1,011
    2,239th FortuiteMan 🇫🇷 155 1,011
    2,239th Mabeloid 🇳🇴 155 1,011
    2,239th JunkIce 155 1,011
    2,239th heanyang1 155 1,011
    2,239th Babafaba 155 1,011
    2,239th amazingalek 🇳🇴 155 1,011
    2,267th blaztoma 🇱🇹 155 1,240
    2,268th CaedenHarper 🇨🇦 155 2,681
    2,269th OmegaB0t 154 1,015
    2,270th hugohutri 154 1,017
    2,271st codewrite 🇬🇧 150 983
    2,272nd olivermrose 🇺🇸 148 1,053
    2,273rd KatieLG 🇬🇧 147 1,007
    2,274th retrohun 147 1,008
    2,274th lancew 🇳🇿 147 1,008
    2,274th ToriTheChicken 147 1,008
    2,274th Waffle3z 147 1,008
    2,274th mothcolada 🇺🇸 147 1,008
    2,274th Indivicivet 147 1,008
    2,274th kurkale6ka 147 1,008
    2,274th mokymok 🇺🇸 147 1,008
    2,274th MeWhenI 🇻🇦 147 1,008
    2,274th voytxt 🇨🇿 147 1,008
    2,274th KatieLG-Transpiler 🇬🇧 147 1,008
    2,274th Yewzir 🇧🇪 147 1,008
    2,274th madeforlosers 147 1,008
    2,274th HumanoidCPU 147 1,008
    2,274th bac0id 147 1,008
    2,274th Mabeloid 🇳🇴 147 1,008
    2,274th CaedenHarper 🇨🇦 147 1,008
    2,274th JunkIce 147 1,008
    2,274th heanyang1 147 1,008
    2,274th gigaprofisi 🇺🇸 147 1,008
    2,274th JOrE20 147 1,008
    2,274th roelderickx 147 1,008
    2,296th FortuiteMan 🇫🇷 146 1,009
    2,296th ehulinsky 🇺🇸 146 1,009
    2,298th Mojken 146 1,011
    2,298th Mojken 146 1,011
    2,298th ArturLange 146 1,011