Hi! I'm Steve π π¨βπ» Coding in Haskell π Learning Rust, Kotlin, Scala 3, and Lean 4. π¬ Talking about programming languages β‘ Contributed to AMQP π« Reach me by email, Twitter, or LinkedIn