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