Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
youtu.be
This video was recorded at Code Mesh LDN 18 http://bit.ly/2P7SPII Get involved in Code Sync's next conference http://bit.ly/2Mcm4aS --- IDRIS 2: TYPE-DRIVEN ...