Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : ghc-proofs
Often when writing Haskel code, one would like to prove things about the code. A good example is writing an Applicative or Monad instance: there are equation that should hold, and checking them manually is tedious. Wouldn’t it be nice if the compiler could check them for us? With this plugin, he can! (At least in certain simple cases – for everything else, you have to use a more dedicated solution.) See the documentation in GHC.Proof or the project webpage for more examples and more information.
Registry
-
Source
- JSON
purl: pkg:hackage/ghc-proofs
Keywords: compiler-plugin, formal-methods, library, mit
License: MIT
Latest release: over 6 years ago
First release: over 6 years ago
Downloads: 1,575 total
Stars: 145 on GitHub
Forks: 6 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 3 days ago