type-driven-development topic

𝛌 Awesome Idris resources

joaomilho

Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell

rpeszek

Resources for "The Little Typer" study group

paulcadman

FsSpec represents value constraints as data to reuse one constraint declaration for validation, data generation, error explanation, and more.

farlee2121

A better standard for representing money in Python.

antonagestam