login sign up

Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18

youtube.com
saved by
0 people
related read on
Implement With Types, Not Your Brain! from the discussion