[📚] Learning Type Theory and Logic [⚡] Skilled on Functional Programming [❤] Loved Lean4, Haskell and C#