@hackage mixed-types-num0.5.0.3

Alternative Prelude with numeric and logic expressions typed bottom-up

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
mikkonecny@gmail.com
Links
Versions
- 0.6.2 Sat, 5 Oct 2024
- 0.6.1 Sat, 21 Sep 2024
- 0.6.0 Sat, 21 Sep 2024
- 0.5.12 Mon, 14 Aug 2023
- 0.5.11 Thu, 25 Aug 2022
- 0.5.10 Wed, 13 Jul 2022

Installation
In your cabal file:
Dependencies (8)
- base >=4.7 && <5
- mtl
- template-haskell
- QuickCheck >=2.7
- collect-errors >=0.1.1
- hspec >=2.1
Dependents (7)
@hackage/aern2-fun, @hackage/aern2-mp, @hackage/acme-everything, @hackage/aern2-real, @hackage/LPPaver, @hackage/aern2-mfun, Show all…

Please see the README on GitHub at https://github.com/michalkonecny/mixed-types-num#readme