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,308th msbranicky 148 1,008
    2,308th madeforlosers 148 1,008
    2,308th HumanoidCPU 148 1,008
    2,308th bac0id 148 1,008
    2,308th LostSyntax21 🇬🇧 148 1,008
    2,308th Mabeloid 🇳🇴 148 1,008
    2,308th CaedenHarper 🇨🇦 148 1,008
    2,308th JunkIce 148 1,008
    2,308th heanyang1 148 1,008
    2,308th JOrE20 148 1,008
    2,331st mothcolada 🇺🇸 148 1,009
    2,331st BrenSchaap 148 1,009
    2,333rd abailey2020 🇺🇸 148 1,010
    2,333rd RYNO8 148 1,010
    2,335th Shanethegamer 🇺🇸 147 1,009
    2,335th HumanoidCPU 147 1,009
    2,335th JOrE20 147 1,009
    2,335th voytxt 🇨🇿 147 1,009
    2,339th Mojken 147 1,011
    2,339th decorator-factory 147 1,011
    2,339th SpareManiKatti 147 1,011
    2,342nd KatieLG 🇬🇧 143 1,010
    2,343rd Mojken 143 1,011
    2,343rd RustemB 🇷🇺 143 1,011
    2,343rd JRaspass 🇬🇧 143 1,011
    2,343rd retrohun 143 1,011
    2,343rd decorator-factory 143 1,011
    2,343rd Waffle3z 143 1,011
    2,343rd kurkale6ka 143 1,011
    2,343rd theunofficialcoder 143 1,011
    2,343rd RYNO8 143 1,011
    2,343rd SpareManiKatti 143 1,011
    2,343rd mokymok 🇺🇸 143 1,011
    2,343rd voytxt 🇨🇿 143 1,011
    2,343rd mothcolada 🇺🇸 143 1,011
    2,343rd Codsilla 🇨🇦 143 1,011
    2,343rd FortuiteMan 🇫🇷 143 1,011
    2,343rd madeforlosers 143 1,011
    2,343rd HumanoidCPU 143 1,011
    2,343rd Yewzir 🇧🇪 143 1,011
    2,343rd bac0id 143 1,011
    2,343rd Mabeloid 🇳🇴 143 1,011
    2,343rd CaedenHarper 🇨🇦 143 1,011
    2,343rd heanyang1 143 1,011
    2,343rd gigaprofisi 🇺🇸 143 1,011
    2,366th JunkIce 142 1,013
    2,367th Dazza314 🇬🇧 142 2,945
    2,368th KatieLG-Transpiler 🇬🇧 136 1,058
    2,369th dokutan 123 999
    2,370th RustemB 🇷🇺 122 1,010
    2,370th Waffle3z 122 1,010
    2,370th KatieLG 🇬🇧 122 1,010
    2,370th MeWhenI 🇻🇦 122 1,010
    2,370th voytxt 🇨🇿 122 1,010
    2,370th Shanethegamer 🇺🇸 122 1,010
    2,370th CaedenHarper 🇨🇦 122 1,010
    2,370th JOrE20 122 1,010
    2,378th Mabeloid 🇳🇴 122 1,011
    2,379th madeforlosers 121 1,016
    2,379th heanyang1 121 1,016
    2,381st KatieLG-Transpiler 🇬🇧 121 1,018
    2,382nd dokutan 117 944
    2,383rd JOrE20 116 946
    2,384th blaztoma 🇱🇹 114 1,651
    2,385th KatieLG 🇬🇧 110 1,004
    2,385th KatieLG-Transpiler 🇬🇧 110 1,004
    2,385th Yewzir 🇧🇪 110 1,004
    2,385th voytxt 🇨🇿 110 1,004
    2,385th Shanethegamer 🇺🇸 110 1,004
    2,385th madeforlosers 110 1,004
    2,385th HumanoidCPU 110 1,004
    2,385th bac0id 110 1,004
    2,385th Mabeloid 🇳🇴 110 1,004
    2,385th CaedenHarper 🇨🇦 110 1,004
    2,385th JunkIce 110 1,004
    2,385th heanyang1 110 1,004
    2,385th gigaprofisi 🇺🇸 110 1,004
    2,398th retrohun 109 1,008
    2,398th ehulinsky 🇺🇸 109 1,008
    2,398th FortuiteMan 🇫🇷 109 1,008