Primary LanguageTypeScript
uhhh yea
https://damushypotato.github.io/lean-pirates/
dont worry about this