Brief Table of Contents
Chapter 3. Interactive development with types
Chapter 4. User-defined data types
Chapter 5. Interactive programs: input and output processing
Chapter 6. Programming with first-class types
Chapter 7. Interfaces: using constrained generic types
Chapter 8. Equality: expressing relationships between data
Chapter 9. Predicates: expressing assumptions and contracts in types
Chapter 11. Streams and processes: working with infinite ...
Get Type-Driven Development with Idris now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
