But typed logic would allow for automated linting / token appreciation! https://plato.stanford.edu/entries/types-tokens/ https://plato.stanford.edu/entries/typ

But typed logic would allow for automated linting / token appreciation! https://plato.stanford.edu/entries/types-tokens/ https://plato.stanford.edu/entries/types-tokens/