Абмеркаванне

Is there a book Dependent Types for Dummies? Asking for a friend.

@vitaut The Little Typer is a slower intro but good (in the style of The Little Schemer). There's also Type Driven Development with Idris which I haven't read but I'm sure is good because Edwin was my advisor in undergrad.

- https://thelittletyper.com/
- https://www.manning.com/books/type-driven-development-with-idris