@hackage / type-natural

Type-level natural and proofs of their properties.

1.3.0.2

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / computational-algebra Well-kinded computational algebra library, currently supporting Groebner basis.
- Version: 0.5.1.0
- Last uploaded: 8 years ago
- License: BSD-3-Clause
@hackage / linearmap-category Native, complete-ish, matrix-free linear algebra.
- Version: 0.6.0.2
- Last uploaded: about 1 year ago
- License: GPL-3.0-only
@hackage / lol A library for lattice cryptography.
- Version: 0.7.0.0
- Last uploaded: 6 years ago
- License: GPL-3.0-only
@hackage / sized Sized sequence data-types
- Version: 1.1.0.2
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / sized-vector Size-parameterized vector types and functions.
- Version: 1.4.3.1
- Last uploaded: 10 years ago
- License: BSD-3-Clause
@hackage / tropical-geometry A Tropical Geometry package for Haskell
- Version: 0.0.0.1
- Last uploaded: 6 years ago
- License: GPL-3.0-only