Type-driven development with Idris
Annotation
Main Author: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Shelter Island, NY
Manning Publications Co.
2017
|
Subjects: | |
Online Access: | |
Collection: | O'Reilly - Collection details see MPG.ReNa |
Table of Contents:
- Includes bibliographical references and index
- Introduction
- Core Idris
- Idris and the real world