@hackage FirstOrderTheory dependencies

3 results

library:FirstOrderTheory (3 dependencies)

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.6 && <4.7

@hackage/Proper

An implementation of propositional logic in Haskell