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,080th decorator-factory 172 1,011
    2,080th ElevatorShaft 172 1,011
    2,080th TheAristos 172 1,011
    2,080th SpareManiKatti 172 1,011
    2,080th RYNO8 172 1,011
    2,086th JOrE20 171 944
    2,087th bac0id 171 1,009
    2,087th HumanoidCPU 171 1,009
    2,089th KatieLG 🇬🇧 171 1,010
    2,089th KatieLG-Transpiler 🇬🇧 171 1,010
    2,089th snoozingnewt 🇨🇦 171 1,010
    2,089th adriweb 🇫🇷 171 1,010
    2,089th voytxt 🇨🇿 171 1,010
    2,089th FortuiteMan 🇫🇷 171 1,010
    2,089th msbranicky 171 1,010
    2,089th MeWhenI 🇻🇦 171 1,010
    2,089th madeforlosers 171 1,010
    2,089th Mabeloid 🇳🇴 171 1,010
    2,089th CaedenHarper 🇨🇦 171 1,010
    2,089th JunkIce 171 1,010
    2,089th sciencejiho 171 1,010
    2,089th heanyang1 171 1,010
    2,089th gigaprofisi 🇺🇸 171 1,010
    2,089th JOrE20 171 1,010
    2,105th jusaka 170 1,056
    2,106th JOrE20 168 944
    2,107th jackkav 168 1,009
    2,107th JRaspass 🇬🇧 168 1,009
    2,107th jn-lp 🇺🇦 168 1,009
    2,107th UBKorkut 168 1,009
    2,107th BBoehm 🇩🇪 168 1,009
    2,107th SpareManiKatti 168 1,009
    2,107th Cazka 168 1,009
    2,107th KatieLG 🇬🇧 168 1,009
    2,107th hacker19374 168 1,009
    2,107th zakariamouhid 168 1,009
    2,107th Jacob385 168 1,009
    2,107th olleicua 🇺🇸 168 1,009
    2,107th XenThe 🇬🇧 168 1,009
    2,107th Ultra814 168 1,009
    2,121st Mojken 168 1,011
    2,121st retrohun 168 1,011
    2,121st SirHig 168 1,011
    2,121st rowboat1 168 1,011
    2,121st decorator-factory 168 1,011
    2,121st dcure73 168 1,011
    2,121st ElevatorShaft 168 1,011
    2,121st TheAristos 168 1,011
    2,121st Codsilla 🇨🇦 168 1,011
    2,121st Redbowpatch101 168 1,011
    2,121st Waffle3z 168 1,011
    2,121st mothcolada 🇺🇸 168 1,011
    2,121st Kudostoy0u 168 1,011
    2,121st pbarath 168 1,011
    2,121st kozgera 168 1,011
    2,121st theunofficialcoder 168 1,011
    2,121st RYNO8 168 1,011
    2,121st vang1ong7ang 168 1,011
    2,121st mokymok 🇺🇸 168 1,011
    2,121st wansacis 🇩🇪 168 1,011
    2,121st Tgwizman 168 1,011
    2,121st KatieLG-Transpiler 🇬🇧 168 1,011
    2,121st vroup 🇩🇰 168 1,011
    2,121st FortuiteMan 🇫🇷 168 1,011
    2,121st Mabeloid 🇳🇴 168 1,011
    2,121st JunkIce 168 1,011
    2,121st heanyang1 168 1,011
    2,121st Babafaba 168 1,011
    2,121st amazingalek 🇳🇴 168 1,011
    2,150th OmegaB0t 167 1,015
    2,151st hugohutri 167 1,017
    2,152nd Jacob385 166 1,010
    2,152nd Mabeloid 🇳🇴 166 1,010
    2,152nd FortuiteMan 🇫🇷 166 1,010
    2,152nd retrohun 166 1,010
    2,152nd Shanethegamer 🇺🇸 166 1,010
    2,152nd madeforlosers 166 1,010
    2,152nd gigaprofisi 🇺🇸 166 1,010
    2,159th HumanoidCPU 165 1,012
    2,159th bac0id 165 1,012