type driven development with idris book samples
-
Updated
Dec 13, 2018 - Idris
type driven development with idris book samples
Notes and exercises from "Type-Driven Development with Idris"
Going through exercises in the Type Driven Development book
📖 Working through Type-Driven Development with Idris
Solves AOC 2022 with Types-Driven Development and Property-Based Testing
Typedriven Functional programming in Typescript targeting Bun runtime
A set of problems to improve your skills with TyDD, Type Driven Development with Java and some additional Functional libraries
Macros for compile-time SafeTypes initializers from literals
Swift Library to improve type safety in Swift.
FsSpec represents value constraints as data to reuse one constraint declaration for validation, data generation, error explanation, and more.
Resources for "The Little Typer" study group
Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
𝛌 Awesome Idris resources
Add a description, image, and links to the type-driven-development topic page so that developers can more easily learn about it.
To associate your repository with the type-driven-development topic, visit your repo's landing page and select "manage topics."