Artwork for 006 - Type Driven Development and Idris With Edwin Brady
CoRecursive - Software Engineering Interviews

006 - Type Driven Development and Idris With Edwin Brady