edwinb/ TypeDD-Samples

Need help with TypeDD-Samples?

Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

edwinb

143 Stars

36 Forks

MIT License

6 Commits

11 Opened issues

Description

Sample code from "Type Driven Development with Idris"

Services available

Need anything else?

Contributors list

Edwin Brady edwinb

# 82,650

Shell

Haskell

Racket

3 commits

mknoszlig mknoszlig

# 150,003

Clojure

reactjs

swagger

documen...

1 commit

Readme

Type Driven Development with Idris

Name: TypeDD-Samples
Brand: TypeDD-Samples
SKU: //edwinb/TypeDD-Samples
Rating: 2.1075 (143 reviews)

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