Type-driven Development with Idris
Publisher: Manning Publications
Published: Mar 31, 2017
Number of pages: 480
ISBN-13: 9781617293023