Examples using dependent types for mathematical proofs at the type level
Home Page:https://alexpeits.github.io/posts/2018-09-27-haskell-proofs.html
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
