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