@hackage ghc-proofs dependencies

7 results

library:ghc-proofs (2 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.9 && <4.11

@hackage/ghc

The GHC API

BSD-3-Clause>=8.2 && <8.4

test:hlint (3 dependencies)

@haskell/transformers

Concrete functor and monad transformers

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.9 && <4.11

@hackage/ghc-proofs

GHC plugin to prove program equations by simplification

test:successors (2 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.9 && <4.11

@hackage/ghc-proofs

GHC plugin to prove program equations by simplification