All that the dependent types people talk about is doing proofs and formal verification
Like, surely we can use them for, like, regular programming too, come up with neat interesting applications
Follow
fuchsiaaaaaaaaaaaaaaaaa
@nonphatic I think perl6 does dependent type stuff? It can be quite cool since it goes further than "oh this must be an int"
