Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
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
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!