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,081st bac0id 175 1,019
    2,082nd KatieLG 🇬🇧 173 1,007
    2,083rd jusaka 173 1,024
    2,084th Omega65536 🇩🇪 173 1,029
    2,085th mothcolada 🇺🇸 173 1,100
    2,086th retrohun 172 1,008
    2,086th lancew 🇳🇿 172 1,008
    2,086th ToriTheChicken 172 1,008
    2,086th Waffle3z 172 1,008
    2,086th mothcolada 🇺🇸 172 1,008
    2,086th Indivicivet 172 1,008
    2,086th kurkale6ka 172 1,008
    2,086th scpchicken 🇵🇼 172 1,008
    2,086th mokymok 🇺🇸 172 1,008
    2,086th MeWhenI 🇻🇦 172 1,008
    2,086th voytxt 🇨🇿 172 1,008
    2,086th KatieLG-Transpiler 🇬🇧 172 1,008
    2,086th Yewzir 🇧🇪 172 1,008
    2,086th madeforlosers 172 1,008
    2,086th HumanoidCPU 172 1,008
    2,086th bac0id 172 1,008
    2,086th Mabeloid 🇳🇴 172 1,008
    2,086th CaedenHarper 🇨🇦 172 1,008
    2,086th JunkIce 172 1,008
    2,086th heanyang1 172 1,008
    2,086th gigaprofisi 🇺🇸 172 1,008
    2,086th JOrE20 172 1,008
    2,108th FortuiteMan 🇫🇷 172 1,009
    2,108th bac0id 172 1,009
    2,108th HumanoidCPU 172 1,009
    2,108th ehulinsky 🇺🇸 172 1,009
    2,112th Mojken 172 1,011
    2,112th decorator-factory 172 1,011
    2,112th ElevatorShaft 172 1,011
    2,112th TheAristos 172 1,011
    2,112th SpareManiKatti 172 1,011
    2,112th RYNO8 172 1,011
    2,118th jusaka 172 1,012
    2,119th JOrE20 171 944
    2,120th KatieLG 🇬🇧 171 1,010
    2,120th KatieLG-Transpiler 🇬🇧 171 1,010
    2,120th snoozingnewt 🇨🇦 171 1,010
    2,120th adriweb 🇫🇷 171 1,010
    2,120th voytxt 🇨🇿 171 1,010
    2,120th FortuiteMan 🇫🇷 171 1,010
    2,120th msbranicky 171 1,010
    2,120th MeWhenI 🇻🇦 171 1,010
    2,120th madeforlosers 171 1,010
    2,120th Mabeloid 🇳🇴 171 1,010
    2,120th CaedenHarper 🇨🇦 171 1,010
    2,120th JunkIce 171 1,010
    2,120th sciencejiho 171 1,010
    2,120th heanyang1 171 1,010
    2,120th gigaprofisi 🇺🇸 171 1,010
    2,120th JOrE20 171 1,010
    2,120th jusaka 171 1,010
    2,137th JOrE20 169 944
    2,138th jackkav 168 1,009
    2,138th JRaspass 🇬🇧 168 1,009
    2,138th jn-lp 🇺🇦 168 1,009
    2,138th UBKorkut 168 1,009
    2,138th BBoehm 🇩🇪 168 1,009
    2,138th SpareManiKatti 168 1,009
    2,138th Cazka 168 1,009
    2,138th KatieLG 🇬🇧 168 1,009
    2,138th hacker19374 168 1,009
    2,138th zakariamouhid 168 1,009
    2,138th Jacob385 168 1,009
    2,138th olleicua 🇺🇸 168 1,009
    2,138th XenThe 🇬🇧 168 1,009
    2,138th Ultra814 168 1,009
    2,152nd Mojken 168 1,011
    2,152nd retrohun 168 1,011
    2,152nd SirHig 168 1,011
    2,152nd rowboat1 168 1,011
    2,152nd decorator-factory 168 1,011
    2,152nd dcure73 168 1,011
    2,152nd ElevatorShaft 168 1,011
    2,152nd TheAristos 168 1,011
    2,152nd Codsilla 🇨🇦 168 1,011