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,798th HumanoidCPU 184 1,034
    1,802nd Yewzir 🇧🇪 184 1,035
    1,802nd bac0id 184 1,035
    1,802nd heanyang1 184 1,035
    1,805th madeforlosers 184 1,036
    1,805th CaedenHarper 🇨🇦 184 1,036
    1,805th gigaprofisi 🇺🇸 184 1,036
    1,808th Mabeloid 🇳🇴 183 1,041
    1,809th msbranicky 183 1,042
    1,810th Schmitt-Very-Cool 183 1,046
    1,810th Adix-null 🇱🇹 183 1,046
    1,812th Shanethegamer 🇺🇸 182 1,009
    1,812th KatieLG 🇬🇧 182 1,009
    1,812th HumanoidCPU 182 1,009
    1,815th retrohun 182 1,044
    1,815th JunkIce 182 1,044
    1,817th FortuiteMan 🇫🇷 182 1,046
    1,818th olleicua 🇺🇸 182 1,048
    1,819th calum12345 182 1,051
    1,820th sciencejiho 180 1,055
    1,821st JPRuskin 🇬🇧 179 993
    1,822nd KatieLG-Transpiler 🇬🇧 179 1,060
    1,823rd Msleizak 🇫🇷 179 1,066
    1,823rd jtaxen 179 1,066
    1,823rd Brain-Boy-53 179 1,066
    1,826th adamnielson42 🇺🇸 179 1,068
    1,827th primo-ppcg 🇹🇭 178 692
    1,828th JRaspass 🇬🇧 178 1,009
    1,828th Waffle3z 178 1,009
    1,828th mothcolada 🇺🇸 178 1,009
    1,828th KatieLG 🇬🇧 178 1,009
    1,828th kurkale6ka 178 1,009
    1,828th mokymok 🇺🇸 178 1,009
    1,828th voytxt 🇨🇿 178 1,009
    1,828th KatieLG-Transpiler 🇬🇧 178 1,009
    1,828th retrohun 178 1,009
    1,828th FortuiteMan 🇫🇷 178 1,009
    1,828th msbranicky 178 1,009
    1,828th madeforlosers 178 1,009
    1,828th HumanoidCPU 178 1,009
    1,828th Jacob385 178 1,009
    1,828th bac0id 178 1,009
    1,828th Mabeloid 🇳🇴 178 1,009
    1,828th CaedenHarper 🇨🇦 178 1,009
    1,828th JunkIce 178 1,009
    1,828th sciencejiho 178 1,009
    1,828th ehulinsky 🇺🇸 178 1,009
    1,828th heanyang1 178 1,009
    1,828th gigaprofisi 🇺🇸 178 1,009
    1,850th hacker112 🇸🇪 177 958
    1,851st thlac 177 1,004
    1,851st SteveL-MSFT 177 1,004
    1,851st krzydoug 177 1,004
    1,851st harperse 177 1,004
    1,851st Codsilla 🇨🇦 177 1,004
    1,851st rvdnieuwendijk 🇳🇱 177 1,004
    1,851st bendapootie 177 1,004
    1,851st HumanEquivalentUnit 177 1,004
    1,851st bac0id 177 1,004
    1,851st Indivicivet 177 1,004
    1,851st janbehrens 🇩🇪 177 1,004
    1,851st mokymok 🇺🇸 177 1,004
    1,851st voytxt 🇨🇿 177 1,004
    1,851st Yewzir 🇧🇪 177 1,004
    1,851st Msleizak 🇫🇷 177 1,004
    1,851st madeforlosers 177 1,004
    1,851st corbob 🇨🇦 177 1,004
    1,851st HumanoidCPU 177 1,004
    1,851st Mabeloid 🇳🇴 177 1,004
    1,851st CaedenHarper 🇨🇦 177 1,004
    1,851st heanyang1 177 1,004
    1,851st gigaprofisi 🇺🇸 177 1,004
    1,873rd GolfingSuccess 🇬🇷 177 1,007
    1,873rd rvdnieuwendijk 🇳🇱 177 1,007
    1,873rd mothcolada 🇺🇸 177 1,007