discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
Using dependent types to write proofs in Haskell
https://janmasrovira.gitlab.io/ascetic-slug/post/haskell-proofs/
16 comments
2/6/2021
haskell