Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage type-level-natural-number dependents

8 results

@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/approximate-equality
Newtype wrappers for approximate equality
BSD-3-Clausev1.1.0.2
@hackage/natural-number
Natural numbers tagged with a type-level representation of the number.
BSD-3-Clausev1.0
@hackage/tagged-list
Lists tagged with a type-level natural number representing their length.
BSD-3-Clausev1.1
@hackage/temporal-music-notation
music notation
BSD-3-Clausev0.4.1
@hackage/type-level-natural-number-induction
High-level combinators for performing inductive operations.
BSD-3-Clausev1.0.0.1
@hackage/type-level-natural-number-operations
Basic operations on type-level natural numbers.
BSD-3-Clausev1.0
@hackage/variable-precision
variable-precision floating point
BSD-3-Clausev0.4