𝛌 Awesome Idris resources
-
Updated
Feb 20, 2020 - Idris
𝛌 Awesome Idris resources
Resources for "The Little Typer" study group
Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
FsSpec represents value constraints as data to reuse one constraint declaration for validation, data generation, error explanation, and more.
Swift Library to improve type safety in Swift.
Macros for compile-time SafeTypes initializers from literals
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
📖 Working through Type-Driven Development with Idris
Solves AOC 2022 with Types-Driven Development and Property-Based Testing
Notes and exercises from "Type-Driven Development with Idris"
type driven development with idris book samples
Going through exercises in the Type Driven Development book
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."