Sunbelt Computer Software

PL/B Language Development and Support

GitHub - edwinb/TypeDD-Samples: Sample code from "Type Driven Development with Idris" · GitHub

Repository navigation

TypeDD-Samples

Public

About

Sample code from "Type Driven Development with Idris"

162 stars

8 watching

Report repository

Repository files navigation

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

About

Sample code from "Type Driven Development with Idris"

162 stars

8 watching

Report repository

Releases

Packages

Contributors

Languages