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,947th BBoehm 🇩🇪 168 1,009
    1,947th SpareManiKatti 168 1,009
    1,947th Cazka 168 1,009
    1,947th KatieLG 🇬🇧 168 1,009
    1,947th hacker19374 168 1,009
    1,947th zakariamouhid 168 1,009
    1,947th Jacob385 168 1,009
    1,947th olleicua 🇺🇸 168 1,009
    1,959th Mojken 168 1,011
    1,959th retrohun 168 1,011
    1,959th SirHig 168 1,011
    1,959th rowboat1 168 1,011
    1,959th decorator-factory 168 1,011
    1,959th dcure73 168 1,011
    1,959th ElevatorShaft 168 1,011
    1,959th TheAristos 168 1,011
    1,959th Codsilla 🇨🇦 168 1,011
    1,959th Redbowpatch101 168 1,011
    1,959th Waffle3z 168 1,011
    1,959th mothcolada 🇺🇸 168 1,011
    1,959th Kudostoy0u 168 1,011
    1,959th pbarath 168 1,011
    1,959th kozgera 168 1,011
    1,959th theunofficialcoder 168 1,011
    1,959th RYNO8 168 1,011
    1,959th vang1ong7ang 168 1,011
    1,959th mokymok 🇺🇸 168 1,011
    1,959th wansacis 🇩🇪 168 1,011
    1,959th Tgwizman 168 1,011
    1,959th KatieLG-Transpiler 🇬🇧 168 1,011
    1,959th vroup 🇩🇰 168 1,011
    1,959th FortuiteMan 🇫🇷 168 1,011
    1,959th Mabeloid 🇳🇴 168 1,011
    1,959th JunkIce 168 1,011
    1,959th heanyang1 168 1,011
    1,959th XenThe 🇬🇧 168 1,011
    1,987th OmegaB0t 167 1,015
    1,988th hugohutri 167 1,017
    1,989th Jacob385 166 1,010
    1,989th Mabeloid 🇳🇴 166 1,010
    1,989th FortuiteMan 🇫🇷 166 1,010
    1,989th retrohun 166 1,010
    1,989th Shanethegamer 🇺🇸 166 1,010
    1,989th madeforlosers 166 1,010
    1,989th gigaprofisi 🇺🇸 166 1,010
    1,996th HumanoidCPU 165 1,012
    1,996th bac0id 165 1,012
    1,996th CaedenHarper 🇨🇦 165 1,012
    1,999th voytxt 🇨🇿 165 1,013
    1,999th heanyang1 165 1,013
    2,001st KatieLG 🇬🇧 165 1,016
    2,001st voytxt 🇨🇿 165 1,016
    2,001st HumanoidCPU 165 1,016
    2,001st KatieLG-Transpiler 🇬🇧 165 1,016
    2,001st Mabeloid 🇳🇴 165 1,016
    2,001st FortuiteMan 🇫🇷 165 1,016
    2,001st madeforlosers 165 1,016
    2,001st JunkIce 165 1,016
    2,001st CaedenHarper 🇨🇦 165 1,016
    2,001st ehulinsky 🇺🇸 165 1,016
    2,001st heanyang1 165 1,016
    2,012th KevinMarquette 🇺🇸 165 1,077
    2,013th blaztoma 🇱🇹 165 1,240
    2,014th codewrite 🇬🇧 164 983
    2,015th KatieLG 🇬🇧 164 1,019
    2,016th JRaspass 🇬🇧 161 1,007
    2,016th Mojken 161 1,007
    2,016th retrohun 161 1,007
    2,016th Waffle3z 161 1,007
    2,016th KatieLG 🇬🇧 161 1,007
    2,016th kurkale6ka 161 1,007
    2,016th theunofficialcoder 161 1,007
    2,016th mokymok 🇺🇸 161 1,007
    2,016th MeWhenI 🇻🇦 161 1,007
    2,016th voytxt 🇨🇿 161 1,007