Edwin Brady

Books
Type-Driven Development with Idris Type-Driven Development with Idris
Type-Driven Development with Idris
2017
Intelligent Computer Mathematics Intelligent Computer Mathematics
Intelligent Computer Mathematics
2019