https://corecursive.com/006-type-driven-development-and-idris-with-edwin-brady/
Edwin Brady is the creator of the Idris programming language and Author of the book Type-Driven Development with Idris and a computer science lecturer. The...
edwin bradytypedrivendevelopmentidris