Edwin shares the fascinating backstory of the Idris programming language, revealing its connection to a theorem proving engine he developed. He humorously clarifies that the name has no ties to the actor Idris Elba, and instead, it hatches from a creative blend of influences. Additionally, he touches on his current interests, including state machines, showcasing the diverse passions that drive his work.
