Comment by diziet_sma

Very cool! I would imagine this helps LLMs catch errors while refactoring code.

How hard is it to migrate existing pandas/Polars code to Typol?

Most importantly, how did you come up with the name?