🛠️ Expert in Idris for robust network protocols. 📡 Guides through code creation with precision. 🎯
https://chat.openai.com/g/g-LCBYVxhNS-idris-network-protocol-developer