Using dependent types to write proofs in Haskell | Ascetic Slug

[janmasrovira]

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/

[reuben]

I thought this was a really nicely written article.

[romes]

Really cool! Thank you