Edwin Brady - Idris 2 - Type-driven Development of Idris
Curry On!
SIGNALTUBE / HACKER NEWS
Search results for “type-driven development”
Search titles, channels, topics, and recommendation context.
Search: type-driven development
More filters
Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Code Sync
Type-Driven Development in Idris — Edwin Brady
Scala World
Showing 3 of 3 matching videos.