non-integral-0.1.1.1

Synopsis

Description

Implementation decision for non-integer calculations

Author

IOHK Formal Methods Team

Maintainer

formal.methods@iohk.io

License

Apache-2.0

Source
https://github.com/input-output-hk/cardano-ledger
Commit hash
2fac95ef338ff9622543d08fe16d0fa6716d0019
Subdir
libs/non-integral
Timestamp

2022-11-11T00:24:50Z

Revisions

None

Dependencies
library non-integral:
  • ["base >=4.12 && <4.15"]
test-suite non-integral-test:
  • ["base >=4.12 && <4.15","non-integral","QuickCheck"]