Giters

alexpeits / haskell-proofs

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

About

Examples using dependent types for mathematical proofs at the type level

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

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Haskell 100.0%