Unabridged
Type-Driven Development with Idris
Chapter 1 - Introduction
Ready to play
0:00
13h 47m
Narrator
Premium Studio Voice
Quality
Lossless Audio (HQ)
Language
eng
Download Size
225 MB