3 ms·
I don't know about that. You can obviously use them for similar things. Namely, proving properties about your software. Here's a good blog post talking about t
by the-smug-one 6y ago
I don't know about that. You can obviously use them for similar things. Namely, proving properties about your software.
Here's a good blog post talking about type theory vs logics: https://ucsd-progsys.github.io/liquidhaskell-blog/2019/10/20/why-types.lhs/ https://ucsd-progsys.github.io/liquidhaskell-blog/2019/10/20...