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
    1,839th marcin7Cd 186 1,015
    1,839th boxjelly 186 1,015
    1,839th Omega65536 🇩🇪 186 1,015
    1,839th MeWhenI 🇻🇦 186 1,015
    1,839th Waffle3z 186 1,015
    1,839th KatieLG 🇬🇧 186 1,015
    1,839th mokymok 🇺🇸 186 1,015
    1,839th voytxt 🇨🇿 186 1,015
    1,839th mothcolada 🇺🇸 186 1,015
    1,839th klixel 🇨🇦 186 1,015
    1,839th retrohun 186 1,015
    1,839th KatieLG-Transpiler 🇬🇧 186 1,015
    1,839th Yewzir 🇧🇪 186 1,015
    1,839th cbrt-x 186 1,015
    1,839th scpchicken 🇵🇼 186 1,015
    1,839th 1231234md5 🇨🇳 186 1,015
    1,839th madeforlosers 186 1,015
    1,839th aksyristos 186 1,015
    1,839th kurkale6ka 186 1,015
    1,839th jacobly0 🇺🇸 186 1,015
    1,839th HumanoidCPU 186 1,015
    1,839th bac0id 186 1,015
    1,839th Jacob385 186 1,015
    1,839th BREMAUCY 🇫🇷 186 1,015
    1,839th GolfingSuccess 🇬🇷 186 1,015
    1,839th Mabeloid 🇳🇴 186 1,015
    1,839th CaedenHarper 🇨🇦 186 1,015
    1,839th heanyang1 186 1,015
    1,839th Just4FunCoder 186 1,015
    1,839th gigaprofisi 🇺🇸 186 1,015
    1,839th duckyluuk 🇳🇱 186 1,015
    1,839th CornerMercury 🇬🇧 186 1,015
    1,873rd guliyevemil1 🇦🇿 186 1,016
    1,874th MCausc78 🇺🇦 186 1,032
    1,875th CatsAreFluffy 185 1,017
    1,875th neel11235813 185 1,017
    1,877th msbranicky 185 1,020
    1,877th snoozingnewt 🇨🇦 185 1,020
    1,877th Stockoh 🇫🇷 185 1,020
    1,877th InigoK 🇺🇸 185 1,020
    1,881st JunkIce 185 1,021
    1,882nd JOrE20 185 1,036
    1,883rd FortuiteMan 🇫🇷 184 1,022
    1,883rd Ralac07 🇦🇺 184 1,022
    1,883rd zt14427 184 1,022
    1,886th RaBa21 🇭🇺 184 1,023
    1,887th KatieLG 🇬🇧 184 1,034
    1,887th voytxt 🇨🇿 184 1,034
    1,887th HumanoidCPU 184 1,034
    1,890th Yewzir 🇧🇪 184 1,035
    1,890th bac0id 184 1,035
    1,890th heanyang1 184 1,035
    1,893rd madeforlosers 184 1,036
    1,893rd CaedenHarper 🇨🇦 184 1,036
    1,893rd gigaprofisi 🇺🇸 184 1,036
    1,896th Mabeloid 🇳🇴 183 1,041
    1,897th msbranicky 183 1,042
    1,898th retrohun 182 1,044
    1,898th JunkIce 182 1,044
    1,900th FortuiteMan 🇫🇷 182 1,046
    1,901st Schmitt-Very-Cool 180 1,046
    1,901st Adix-null 🇱🇹 180 1,046
    1,903rd olleicua 🇺🇸 180 1,048
    1,904th sciencejiho 180 1,055
    1,905th KatieLG-Transpiler 🇬🇧 180 1,060
    1,906th JPRuskin 🇬🇧 179 993
    1,907th KatieLG 🇬🇧 179 999
    1,908th HumanoidCPU 179 1,004
    1,908th Shanethegamer 🇺🇸 179 1,004
    1,908th voytxt 🇨🇿 179 1,004
    1,908th KatieLG 🇬🇧 179 1,004
    1,908th madeforlosers 179 1,004
    1,908th CaedenHarper 🇨🇦 179 1,004
    1,908th heanyang1 179 1,004
    1,908th gigaprofisi 🇺🇸 179 1,004
    1,908th JOrE20 179 1,004
    1,917th calum12345 179 1,051
    1,918th JOrE20 179 1,064
    1,919th primo-ppcg 🇹🇭 178 692
    1,920th JRaspass 🇬🇧 178 1,009