@hackage / ghc-proofs

GHC plugin to prove program equations by simplification

Latest0.1.1

Dependencies

library:ghc-proofs (2 dependencies)

@hackage / ghc The GHC API
- Version: >=8.2 && <8.4
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.9 && <4.11
- License: BSD-3-Clause

test:hlint (3 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.9 && <4.11
- License: BSD-3-Clause
@hackage / ghc-proofs GHC plugin to prove program equations by simplification
- Version:
- License: MIT
@hackage / transformers Concrete functor and monad transformers
- Version:
- License: BSD-3-Clause

test:successors (2 dependencies)