2 ms·
Idris (http://www.idris-lang.org/ http://www.idris-lang.org/). Edwin Brady is working on a book that you can access via the Manning Publications MEAP program (
by harveywi 11y ago
Idris (http://www.idris-lang.org/ http://www.idris-lang.org/).
Edwin Brady is working on a book that you can access via the Manning Publications MEAP program (https://www.manning.com/books/type-driven-development-with-idris https://www.manning.com/books/type-driven-development-with-i...).