Výsledky vyhľadávania
- Type-Driven Development with Idris / aut. Edwin Brady
Brady Edwin
New York: Manning, 2017 . - 453 s.
ISBN 978-1-61729-302-3
Idris input data output data programming pattern matching
monografiaFakulta Voľné Prezenčne Vypožičané Nedostupné SVF 0 1 0 0