Type-Driven Development with Idris

Full Description:   

Type-Driven Development with Idris Brady, Edwin Paperback Book 04/07/2017Computers | Software Development & Engineering | Systems Analysis & DesignComputers | Software Development & Engineering | ToolsComputers | Software Development & Engin

If Out of Print. Customer will be contacted with option for a new edition, replacement or cancel order.