Type-driven Development with Idris

driven

by Edwin Brady

Paperback

details (USA).

ISBN: 978-1-61729-302-3

ISBN-10: 1-61729-302-4

Manning Publications · 2017