From Whitespace to Idris: Interview With Edwin Brady
As part of our video interview series, we interviewed Edwin Brady, the creator of Idris, a...
Tags: idris, functional, computerscience