Rankings: Holes

brainfuck in TeX in chars.

# Golfer Points Chars Time
1st jared-hughes 1,000 280
2nd lifthrasiir 🇰🇷 969 289