alexpeits / haskell-proofs

Examples using dependent types for mathematical proofs at the type level

https://alexpeits.github.io/posts/2018-09-27-haskell-proofs.html

Geek Repo

Github PK Tool