Login
From:
Ascetic Slug
(Uncensored)
subscribe
Using dependent types to write proofs in Haskell | Ascetic Slug
https://janmasrovira.gitlab.io/ascetic-slug/post/haskell-proofs/
links
backlinks
Roast topics
Find topics
Find it!
We all know that we can use Haskell to write functional programs that compute stuff. But can we also use Haskell to write mathematical proofs? Yes!
