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,001st JOrE20 177 1,067
    2,002nd dokutan 176 950
    2,003rd KatieLG 🇬🇧 176 1,007
    2,003rd UBKorkut 176 1,007
    2,003rd mothcolada 🇺🇸 176 1,007
    2,006th ToriTheChicken 176 1,009
    2,006th KatieLG-Transpiler 🇬🇧 176 1,009
    2,008th SpareManiKatti 176 1,010
    2,009th gigaprofisi 🇺🇸 176 1,015
    2,010th adamnielson42 🇺🇸 176 1,068
    2,011th retrohun 175 1,013
    2,011th 1231234md5 🇨🇳 175 1,013
    2,013th Waffle3z 175 1,015
    2,013th FortuiteMan 🇫🇷 175 1,015
    2,013th JunkIce 175 1,015
    2,016th bac0id 175 1,019
    2,017th Omega65536 🇩🇪 173 1,029
    2,018th mothcolada 🇺🇸 173 1,100
    2,019th KatieLG 🇬🇧 172 1,007
    2,020th retrohun 172 1,008
    2,020th lancew 🇳🇿 172 1,008
    2,020th ToriTheChicken 172 1,008
    2,020th Waffle3z 172 1,008
    2,020th mothcolada 🇺🇸 172 1,008
    2,020th Indivicivet 172 1,008
    2,020th kurkale6ka 172 1,008
    2,020th scpchicken 🇵🇼 172 1,008
    2,020th mokymok 🇺🇸 172 1,008
    2,020th MeWhenI 🇻🇦 172 1,008
    2,020th voytxt 🇨🇿 172 1,008
    2,020th KatieLG-Transpiler 🇬🇧 172 1,008
    2,020th Yewzir 🇧🇪 172 1,008
    2,020th madeforlosers 172 1,008
    2,020th HumanoidCPU 172 1,008
    2,020th bac0id 172 1,008
    2,020th Mabeloid 🇳🇴 172 1,008
    2,020th CaedenHarper 🇨🇦 172 1,008
    2,020th JunkIce 172 1,008
    2,020th heanyang1 172 1,008
    2,020th gigaprofisi 🇺🇸 172 1,008
    2,020th JOrE20 172 1,008
    2,042nd FortuiteMan 🇫🇷 172 1,009
    2,042nd ehulinsky 🇺🇸 172 1,009
    2,044th Mojken 172 1,011
    2,044th decorator-factory 172 1,011
    2,044th ElevatorShaft 172 1,011
    2,044th TheAristos 172 1,011
    2,044th SpareManiKatti 172 1,011
    2,044th RYNO8 172 1,011
    2,050th JOrE20 171 944
    2,051st bac0id 171 1,009
    2,051st HumanoidCPU 171 1,009
    2,053rd KatieLG 🇬🇧 171 1,010
    2,053rd KatieLG-Transpiler 🇬🇧 171 1,010
    2,053rd snoozingnewt 🇨🇦 171 1,010
    2,053rd adriweb 🇫🇷 171 1,010
    2,053rd voytxt 🇨🇿 171 1,010
    2,053rd FortuiteMan 🇫🇷 171 1,010
    2,053rd msbranicky 171 1,010
    2,053rd MeWhenI 🇻🇦 171 1,010
    2,053rd madeforlosers 171 1,010
    2,053rd Mabeloid 🇳🇴 171 1,010
    2,053rd CaedenHarper 🇨🇦 171 1,010
    2,053rd JunkIce 171 1,010
    2,053rd sciencejiho 171 1,010
    2,053rd heanyang1 171 1,010
    2,053rd gigaprofisi 🇺🇸 171 1,010
    2,053rd JOrE20 171 1,010
    2,069th JOrE20 168 944
    2,070th jackkav 168 1,009
    2,070th JRaspass 🇬🇧 168 1,009
    2,070th jn-lp 🇺🇦 168 1,009
    2,070th UBKorkut 168 1,009
    2,070th BBoehm 🇩🇪 168 1,009
    2,070th SpareManiKatti 168 1,009
    2,070th Cazka 168 1,009
    2,070th KatieLG 🇬🇧 168 1,009
    2,070th hacker19374 168 1,009
    2,070th zakariamouhid 168 1,009
    2,070th Jacob385 168 1,009