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/2P7SPIIGet involved in Code Sync's next conference http://bit.ly/2Mcm4aS---IDRIS 2: TYPE-DRIVEN DEV...