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

144 Stars

36 Forks

MIT License

6 Commits

9 Opened issues

Description

Sample code from "Type Driven Development with Idris"

Services available

Need anything else?

Contributors list

Edwin Brady edwinb

# 89,772

Shell

Haskell

idris

jvm

3 commits

mknoszlig mknoszlig

# 272,694

Clojure

Shell

generat...

1 commit

Readme

Type Driven Development with Idris

Name: TypeDD-Samples
Brand: TypeDD-Samples
SKU: //edwinb/TypeDD-Samples
Rating: 2.11 (144 reviews)

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