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,400th jusaka 147 1,012
    2,402nd KatieLG 🇬🇧 143 1,010
    2,403rd Mojken 143 1,011
    2,403rd RustemB 🇷🇺 143 1,011
    2,403rd JRaspass 🇬🇧 143 1,011
    2,403rd retrohun 143 1,011
    2,403rd decorator-factory 143 1,011
    2,403rd Waffle3z 143 1,011
    2,403rd kurkale6ka 143 1,011
    2,403rd theunofficialcoder 143 1,011
    2,403rd RYNO8 143 1,011
    2,403rd SpareManiKatti 143 1,011
    2,403rd mokymok 🇺🇸 143 1,011
    2,403rd voytxt 🇨🇿 143 1,011
    2,403rd mothcolada 🇺🇸 143 1,011
    2,403rd Codsilla 🇨🇦 143 1,011
    2,403rd FortuiteMan 🇫🇷 143 1,011
    2,403rd madeforlosers 143 1,011
    2,403rd HumanoidCPU 143 1,011
    2,403rd Yewzir 🇧🇪 143 1,011
    2,403rd bac0id 143 1,011
    2,403rd Mabeloid 🇳🇴 143 1,011
    2,403rd CaedenHarper 🇨🇦 143 1,011
    2,403rd heanyang1 143 1,011
    2,403rd gigaprofisi 🇺🇸 143 1,011
    2,426th JunkIce 142 1,013
    2,426th jusaka 142 1,013
    2,428th Dazza314 🇬🇧 142 2,945
    2,429th KatieLG-Transpiler 🇬🇧 136 1,058
    2,430th dokutan 123 999
    2,431st RustemB 🇷🇺 122 1,010
    2,431st Waffle3z 122 1,010
    2,431st KatieLG 🇬🇧 122 1,010
    2,431st MeWhenI 🇻🇦 122 1,010
    2,431st voytxt 🇨🇿 122 1,010
    2,431st Shanethegamer 🇺🇸 122 1,010
    2,431st CaedenHarper 🇨🇦 122 1,010
    2,431st JOrE20 122 1,010
    2,439th Mabeloid 🇳🇴 122 1,011
    2,440th madeforlosers 121 1,016
    2,440th heanyang1 121 1,016
    2,442nd KatieLG-Transpiler 🇬🇧 121 1,018
    2,443rd jusaka 120 1,023
    2,444th dokutan 117 944
    2,445th JOrE20 116 946
    2,446th blaztoma 🇱🇹 114 1,651
    2,447th KatieLG 🇬🇧 110 1,004
    2,447th KatieLG-Transpiler 🇬🇧 110 1,004
    2,447th Yewzir 🇧🇪 110 1,004
    2,447th voytxt 🇨🇿 110 1,004
    2,447th Shanethegamer 🇺🇸 110 1,004
    2,447th madeforlosers 110 1,004
    2,447th HumanoidCPU 110 1,004
    2,447th bac0id 110 1,004
    2,447th Mabeloid 🇳🇴 110 1,004
    2,447th CaedenHarper 🇨🇦 110 1,004
    2,447th JunkIce 110 1,004
    2,447th heanyang1 110 1,004
    2,447th gigaprofisi 🇺🇸 110 1,004
    2,460th retrohun 109 1,008
    2,460th ehulinsky 🇺🇸 109 1,008
    2,460th FortuiteMan 🇫🇷 109 1,008
    2,463rd jusaka 109 1,010
    2,464th NicoPlayZ9002-YT 108 1,019
    2,465th blaztoma 🇱🇹 95 2,240
    2,466th jusaka 92 4,558
    2,467th CaedenHarper 🇨🇦 89 2,007
    2,467th JOrE20 89 2,007
    2,469th jusaka 89 2,010
    2,470th FortuiteMan 🇫🇷 89 2,013
    2,471st JunkIce 88 2,026
    2,472nd lyphyser 76 3,607
    2,473rd ValentinCassayre 8 20,013
    2,474th Dazza314 🇬🇧 7 80,690
    2,475th ihearrodmod 1 108,234
    2,476th ovs-code 🇩🇪 0 276
    2,477th edsrzf 🇳🇿 0 291
    2,478th dokutan 0 588
    2,479th dokutan 0 597
    2,480th dokutan 0 612