Comment by dipanshuhappy

Lately been deep diving into linear algebra. And a way which i engage with it is that I tell AI to generate interactive examples + questions on Lean or Haskell. Its so fun, just deriving the intuition in these languages.