3 ms·
A little blog post on how, sometimes, a little bit of dependent types can make your life easier. For practical things.
by flupe 2y ago
A little blog post on how, sometimes, a little bit of dependent types can make your life easier. For practical things.