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

# 82,650
Shell
Haskell
Racket
3 commits
# 150,003
Clojure
reactjs
swagger
documen...
1 commit

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

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.