Ctrl+P again to print, arrows/tab to navigate results, enter to confirm

    Rankings: Holes

    λ in all languages in bytes.

    # Golfer Points Bytes Time
    1,576th n1LS 210 710
    1,577th KatieLG 🇬🇧 209 1,020
    1,577th aksyristos 209 1,020
    1,577th Yewzir 🇧🇪 209 1,020
    1,577th voytxt 🇨🇿 209 1,020
    1,577th snoozingnewt 🇺🇸 209 1,020
    1,577th madeforlosers 209 1,020
    1,577th HumanoidCPU 209 1,020
    1,577th bac0id 209 1,020
    1,577th CaedenHarper 🇨🇦 209 1,020
    1,577th heanyang1 209 1,020
    1,587th mokymok 🇺🇸 208 1,014
    1,587th Waffle3z 208 1,014
    1,587th voytxt 🇨🇿 208 1,014
    1,587th retrohun 208 1,014
    1,587th Shanethegamer 🇺🇸 208 1,014
    1,587th madeforlosers 208 1,014
    1,587th msbranicky 208 1,014
    1,587th HumanoidCPU 208 1,014
    1,587th bac0id 208 1,014
    1,587th Mabeloid 🇳🇴 208 1,014
    1,587th CaedenHarper 🇨🇦 208 1,014
    1,587th heanyang1 208 1,014
    1,599th FortuiteMan 🇫🇷 208 1,021
    1,600th retrohun 208 1,025
    1,600th Mabeloid 🇳🇴 208 1,025
    1,600th JunkIce 208 1,025
    1,600th gigaprofisi 🇺🇸 208 1,025
    1,604th mothcolada 🇺🇸 207 1,016
    1,604th KatieLG 🇬🇧 207 1,016
    1,604th FortuiteMan 🇫🇷 207 1,016
    1,604th JunkIce 207 1,016
    1,608th KatieLG-Transpiler 🇬🇧 207 1,017
    1,609th bac0id 207 1,020
    1,609th c0d3-4-F00d 🇩🇪 207 1,020
    1,609th voytxt 🇨🇿 207 1,020
    1,609th retrohun 207 1,020
    1,609th Adix-null 🇱🇹 207 1,020
    1,609th madeforlosers 207 1,020
    1,609th HumanoidCPU 207 1,020
    1,609th KatieLG 🇬🇧 207 1,020
    1,609th Jacob385 207 1,020
    1,609th Mabeloid 🇳🇴 207 1,020
    1,609th CaedenHarper 🇨🇦 207 1,020
    1,609th heanyang1 207 1,020
    1,609th gigaprofisi 🇺🇸 207 1,020
    1,622nd KatieLG 🇬🇧 206 1,010
    1,622nd Waffle3z 206 1,010
    1,622nd Omega65536 🇩🇪 206 1,010
    1,622nd JDiLenarda 🇫🇷 206 1,010
    1,622nd MeWhenI 🇻🇦 206 1,010
    1,622nd mokymok 🇺🇸 206 1,010
    1,622nd voytxt 🇨🇿 206 1,010
    1,622nd KatieLG-Transpiler 🇬🇧 206 1,010
    1,622nd Yewzir 🇧🇪 206 1,010
    1,622nd msbranicky 206 1,010
    1,622nd madeforlosers 206 1,010
    1,622nd HumanoidCPU 206 1,010
    1,622nd bac0id 206 1,010
    1,622nd CaedenHarper 🇨🇦 206 1,010
    1,622nd sciencejiho 206 1,010
    1,622nd heanyang1 206 1,010
    1,622nd gigaprofisi 🇺🇸 206 1,010
    1,639th mothcolada 🇺🇸 206 1,011
    1,640th mothcolada 🇺🇸 206 1,024
    1,640th coffmarp 206 1,024
    1,640th mokymok 🇺🇸 206 1,024
    1,640th RYNO8 206 1,024
    1,640th Waffle3z 206 1,024
    1,640th KatieLG-Transpiler 🇬🇧 206 1,024
    1,640th postie77 206 1,024
    1,640th FortuiteMan 🇫🇷 206 1,024
    1,640th JunkIce 206 1,024
    1,640th sciencejiho 206 1,024
    1,650th sciencejiho 205 1,038