edwinb/TypeDD-Samples

Sample code from "Type Driven Development with Idris"

Idris

162

6 commits

updated Aug 6, 2017

README

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

Contributors

5 commits

1 commits

Similar repos

edwinb/SPLV20

SPLV20 course notes

117

edwinb/SDL-idris

SDL bindings package for idris

46

edwinb/Yaffle

A core language and API for dependently typed languages

98

idris-hackers/idris-demos

Collection of Idris tests and demonstration programs

195

diffprog/code

Code for the book "The Elements of Differentiable Programming".

288

0xd34df00d/refinedt

Refinement types + dependent types = ❤️

62

fpco/applied-haskell

80

fpco/mezzohaskell

Community-driven book on intermediate Haskell

294

Languages

Idris

100.0%

edwinb/TypeDD-Samples

Sample code from "Type Driven Development with Idris"

Idris

162

6 commits

updated Aug 6, 2017

README

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

Similar repos

edwinb/SPLV20

SPLV20 course notes

117

edwinb/SDL-idris

SDL bindings package for idris

46

edwinb/Yaffle

A core language and API for dependently typed languages

98

idris-hackers/idris-demos

Collection of Idris tests and demonstration programs

195

diffprog/code

Code for the book "The Elements of Differentiable Programming".

288

0xd34df00d/refinedt

Refinement types + dependent types = ❤️

62

fpco/applied-haskell

80

fpco/mezzohaskell

Community-driven book on intermediate Haskell

294

Contributors

5 commits

1 commits

Languages

Idris

100.0%