alexpeits / haskell-proofs Goto Github PK
View Code? Open in Web Editor NEWExamples using dependent types for mathematical proofs at the type level
Home Page: https://alexpeits.github.io/posts/2018-09-27-haskell-proofs.html
License: BSD 3-Clause "New" or "Revised" License