# math/hs-natural-arithmetic - The NetBSD Packages Collection

Arithmetic of natural numbers

    A search for terms like arithmetic and natural on hackage reveals no
    shortage of libraries for handling the arithmetic of natural numbers. How is
    this library any different some of the others? It has a particular purpose:
    providing a foundation on top on which other libraries may define types
    indexed by sizes. This uses GHC's non-inductively-defined GHC.TypeNats.Nat.
    As a rule, this does not use unsafeCoerce internally anywhere.

    Perhaps the most direct competitor to `natural-arithmetic` is a typechecker
    plugin like type-nat-solver (https://github.com/yav/type-nat-solver). The
    big difference is that `type-nat-solver` can really only be used in
    application code, not in library code. This is because libraries should not
    require the presence of typechecker plugins. Technically, they can (you
    could document it), but many developers will not use libraries that have
    unusual install procedures like this.

    This library, in places, requires users to use the TypeApplications language
    extension. This is done when a number is only need at the type level
    (without a runtime witness).

    This library uses a non-minimal core, providing redundant primitives
    in Arithmetic.Lt and Arithmetic.Lte. This is done in the interest of making
    it easy for user to assemble proofs. Recall that proof assembly is done by
    hand rather than by an SMT solver, so removing some tediousness from this is
    helpful to users.

- Source version: `hs-natural-arithmetic-0.2.1.0nb1`
- Maintainer: pkgsrc-users AT NetBSD.org
- Website: http://hackage.haskell.org/package/natural-arithmetic
- License: modified-bsd
- Package history: cvs, hg, git

## Build dependencies

pkgtools/mktools pkgtools/cwrappers

## Runtime dependencies

lang/ghc910 devel/hs-unlifted devel/hs-unlifted

## Binary packages

OS | Architecture | Version
--- | --- | ---
NetBSD 10.0 | aarch64 | hs-natural-arithmetic-0.2.1.0nb1.tgz
NetBSD 10.0 | aarch64 | hs-natural-arithmetic-0.2.1.0.tgz
NetBSD 10.0 | x86_64 | hs-natural-arithmetic-0.2.1.0nb1.tgz
NetBSD 10.0 | x86_64 | hs-natural-arithmetic-0.2.1.0.tgz
NetBSD 11.0 | aarch64 | hs-natural-arithmetic-0.2.1.0nb1.tgz
NetBSD 11.0 | x86_64 | hs-natural-arithmetic-0.2.1.0nb1.tgz
NetBSD 9.0 | aarch64 | hs-natural-arithmetic-0.2.1.0nb1.tgz
NetBSD 9.0 | aarch64 | hs-natural-arithmetic-0.2.1.0.tgz
NetBSD 9.0 | x86_64 | hs-natural-arithmetic-0.2.1.0nb1.tgz
NetBSD 9.0 | x86_64 | hs-natural-arithmetic-0.2.1.0.tgz

Binary packages can be installed with the high-level tool pkgin (which can be installed with pkg_add) or pkg_add(1) (installed by default). The NetBSD packages collection is also designed to permit easy installation from source.

## Available build options

(none)

## Known vulnerabilities

(no vulnerabilities known)

The pkg_admin audit command locates any installed package which has been mentioned in security advisories as having vulnerabilities.

Please note the vulnerabilities database might not be fully accurate, and not every bug is exploitable with every configuration.

Problem reports, updates or suggestions for this package should be reported with send-pr.