I really would love to see more diversity in the people learning about the beauty of programming languages, type theory, and computer science for similar reasons. This stuff is soo beautiful and interesting! More people should be able to appreciate it! 🤩
twitter.com/koszuldude/sta