TypeDD-Samples icon indicating copy to clipboard operation
TypeDD-Samples copied to clipboard

verified publisher icon edwinb
→

Metadata

Sample code from "Type Driven Development with Idris"

trafficstars

Type Driven Development with Idris

Sample code and exercise solutions from "Type Driven Development with Idris", available from https://www.manning.com/books/type-driven-development-with-idris

← Metadata

150
Stars
38
Forks
Watchers

Owner

verified publisher icon edwinb

Metadata

Sample code from "Type Driven Development with Idris"

Back