@hackage Fin dependencies

5 results

library:Fin (5 dependencies)

@hackage/peano

Peano numbers

@hackage/base

Core data structures and operations

BSD-3-Clause>=4.7 && <5

@hackage/foldable1

Foldable types with at least 1 element

BSD-3-Clause>=0.1 && <0.2

@hackage/alg

Algebraic structures

BSD-3-Clause>=0.2.5 && <0.3

@hackage/natural-induction

Induction over natural numbers

BSD-3-Clause>=0.2 && <0.3