I wrote a blog where I explain how one can use GHC’s type system to write mathematical proofs.
https://janmasrovira.gitlab.io/ascetic-slug/post/haskell-proofs/
I wrote a blog where I explain how one can use GHC’s type system to write mathematical proofs.
https://janmasrovira.gitlab.io/ascetic-slug/post/haskell-proofs/
I thought this was a really nicely written article.
Really cool! Thank you