@hackage / FirstOrderTheory

Grammar and typeclass for first order theories

Latest0.1.0.6

Dependencies

library:FirstOrderTheory (3 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.6 && <4.7
- License: BSD-3-Clause
@hackage / Proper An implementation of propositional logic in Haskell
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause