Gentle Introduction to Dependent Types with Idris
Publisher: Leanpub
Published: 2018
Format: Paperback
Number of pages: 133