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
    800th KatieLG 🇬🇧 500 1,016
    800th KatieLG-Transpiler 🇬🇧 500 1,016
    800th retrohun 500 1,016
    800th CatsAreFluffy 500 1,016
    800th Betuaredead 500 1,016
    800th Yewzir 🇧🇪 500 1,016
    800th Shanethegamer 🇺🇸 500 1,016
    800th voytxt 🇨🇿 500 1,016
    800th msbranicky 500 1,016
    800th madeforlosers 500 1,016
    800th HumanoidCPU 500 1,016
    800th Mabeloid 🇳🇴 500 1,016
    800th CaedenHarper 🇨🇦 500 1,016
    800th dokutan 500 1,016
    815th KatieLG 🇬🇧 499 1,011
    815th Waffle3z 499 1,011
    815th mothcolada 🇺🇸 499 1,011
    815th UBKorkut 499 1,011
    815th kurkale6ka 499 1,011
    815th SpareManiKatti 499 1,011
    815th RYNO8 499 1,011
    815th mokymok 🇺🇸 499 1,011
    815th voytxt 🇨🇿 499 1,011
    815th Yewzir 🇧🇪 499 1,011
    815th HumanoidCPU 499 1,011
    815th FortuiteMan 🇫🇷 499 1,011
    815th msbranicky 499 1,011
    815th Shanethegamer 🇺🇸 499 1,011
    815th madeforlosers 499 1,011
    815th bac0id 499 1,011
    815th Mabeloid 🇳🇴 499 1,011
    815th CaedenHarper 🇨🇦 499 1,011
    815th JunkIce 499 1,011
    815th heanyang1 499 1,011
    815th gigaprofisi 🇺🇸 499 1,011
    815th JOrE20 499 1,011
    837th retrohun 499 1,012
    838th FortuiteMan 🇫🇷 499 1,017
    838th bac0id 499 1,017
    838th JunkIce 499 1,017
    838th heanyang1 499 1,017
    838th JOrE20 499 1,017
    843rd MeWhenI 🇻🇦 498 581
    843rd jared-hughes 498 581
    845th JRaspass 🇬🇧 497 1,004
    845th Yewzir 🇧🇪 497 1,004
    845th dokutan 497 1,004
    845th voytxt 🇨🇿 497 1,004
    845th Shanethegamer 🇺🇸 497 1,004
    845th msbranicky 497 1,004
    845th madeforlosers 497 1,004
    845th HumanoidCPU 497 1,004
    845th bac0id 497 1,004
    845th CaedenHarper 🇨🇦 497 1,004
    845th fuzzylojik-golf 🇺🇸 497 1,004
    856th retrohun 496 1,005
    856th KatieLG 🇬🇧 496 1,005
    856th Mabeloid 🇳🇴 496 1,005
    859th KatieLG-Transpiler 🇬🇧 496 1,006
    859th adamnielson42 🇺🇸 496 1,006
    861st JayXon 🇺🇸 495 550
    862nd decorator-factory 495 1,008
    862nd Waffle3z 495 1,008
    862nd KatieLG 🇬🇧 495 1,008
    862nd mothcolada 🇺🇸 495 1,008
    862nd kurkale6ka 495 1,008
    862nd voytxt 🇨🇿 495 1,008
    862nd retrohun 495 1,008
    862nd Yewzir 🇧🇪 495 1,008
    862nd FortuiteMan 🇫🇷 495 1,008
    862nd Shanethegamer 🇺🇸 495 1,008
    862nd madeforlosers 495 1,008
    862nd HumanoidCPU 495 1,008
    862nd bac0id 495 1,008
    862nd Mabeloid 🇳🇴 495 1,008
    862nd CaedenHarper 🇨🇦 495 1,008
    862nd JunkIce 495 1,008
    862nd janAkali 🇷🇺 495 1,008
    862nd heanyang1 495 1,008
    862nd gigaprofisi 🇺🇸 495 1,008