2 ms·Have you heard of Idris? It's tagline is programming as a conversation.by rowanG077 6y agoHave you heard of Idris? It's tagline is programming as a conversation.