Is there a book Dependent Types for Dummies? Asking for a friend.
Падабаецца 0
Рэпосты 0
Maybe The Little Typer?
Падабаецца 0
Рэпосты 0
@vitaut The Ugly Typling.
-- aka either the C++ or the Rust standard libraries.
Падабаецца 0
Рэпосты 0
@seanmiddleditch C++: we have dependent types at home (via NTTP)
Падабаецца 0
Рэпосты 0