@hackage PropLogic dependencies

6 results

library:PropLogic (3 dependencies)

@haskell/random

Pseudo-random number generation

@haskell/base

Core data structures and operations

@hackage/old-time

Time library

executable:program (3 dependencies)

@haskell/random

Pseudo-random number generation

@haskell/base

Core data structures and operations

@hackage/old-time

Time library