Tag

Specifications

Free eBook: Exploring requirements with Specification by Example

Nicieja_WGS_freeebook

Chapters selected by Kamil Nicieja

Type-Level Functions: calculating types

From Type-Driven Development with Idris by Edwin Brady

In Idris, types and expressions are part of the same language and you use the same syntax for both. This article talks about type-level functions in Idris and how expressions can appear in types.

 

A First Example of Dependent Data Types

From Type-Driven Development with Idris by Edwin Brady

In this article, you will learn about defining dependent data types and defining vectors with Idris.

© 2021 Manning — Design Credits