GitHub - nomeata/ghc-proofs: Let GHC prove program equations for you - discu.eu

Reddit

Code equivalences embedded in Haskell source, and proven by the compiler. https://github.com/nomeata/ghc-proofs 9 comments 7/2/2017 haskell

Linked pages

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - nomeata/ghc-proofs: Let GHC prove program equations for you

See how to search.

Submit link to: