√2 in F# in bytes.
#
| Golfer
|
Lang
| Points
| Bytes
| Time
|
1st
|
Lydxn
🇨🇦
|
F#
| 1,000
|
66
|
|
2nd
|
lynn
|
F#
| 985
|
67
|
|
3rd
|
primo-ppcg
🇹🇭
|
F#
| 971
|
68
|
|
4th
|
JayXon
🇺🇸
|
F#
| 957
|
69
|
|
5th
|
MeWhenI
🇻🇦
|
F#
| 943
|
70
|
|
6th
|
SirBogman
🇺🇸
|
F#
| 846
|
78
|
|
7th
|
Shanethegamer
🇺🇸
|
F#
| 680
|
97
|
|
8th
|
JDiLenarda
🇫🇷
|
F#
| 405
|
163
|
|
9th
|
janbehrens
🇩🇪
|
F#
| 152
|
435
|
|
10th
|
c0d3-4-F00d
🇩🇪
|
F#
| 146
|
451
|
|
11th
|
KatieLG
🇬🇧
|
F#
| 65
|
1,010
|
|
11th
|
Waffle3z
|
F#
| 65
|
1,010
|
|
11th
|
LlamaLad7
🇬🇧
|
F#
| 65
|
1,010
|
|
11th
|
munchkinduncan
|
F#
| 65
|
1,010
|
|
11th
|
mokymok
🇺🇸
|
F#
| 65
|
1,010
|
|
11th
|
voytxt
🇨🇿
|
F#
| 65
|
1,010
|
|
11th
|
KatieLG-Transpiler
🇬🇧
|
F#
| 65
|
1,010
|
|
11th
|
Yewzir
🇧🇪
|
F#
| 65
|
1,010
|
|
11th
|
msbranicky
|
F#
| 65
|
1,010
|
|
20th
|
BoTie
🇺🇸
|
F#
| 65
|
1,011
|
|
21st
|
retrohun
|
F#
| 64
|
1,039
|
|
21st
|
olleicua
🇺🇸
|
F#
| 64
|
1,039
|
|
23rd
|
ricbuz94
|
F#
| 63
|
1,048
|
|
24th
|
destofr
|
F#
| 63
|
1,053
|
|
25th
|
bendapootie
|
F#
| 62
|
1,058
|
|
26th
|
rowboat1
|
F#
| 62
|
1,070
|
|