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

# 89,772
Shell
Haskell
idris
jvm
3 commits
# 272,694
Clojure
Shell
generat...
F#
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.