Type-Driven Development with Idris
Publisher: Manning Publications Co. LLC
Published: 2017
Language: eng
ISBN-13: 9781638352242