@hackage FirstOrderTheory0.1.0.6

Grammar and typeclass for first order theories

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
dillonhuff@gmail.com
Links
- Documentation
- No source repository
Versions
- 0.1.0.6 Wed, 5 Nov 2014
- 0.1.0.4 Sun, 2 Nov 2014

Installation
In your cabal file:
Dependencies (3)
- base >=4.6 && <4.7
- containers
- Proper
Dependents (3)
@hackage/acme-everything, @hackage/DifferenceLogic, @hackage/Smooth

Grammar and typeclass for first order theories