@hackage Fin dependencies

6 results

library:Fin (6 dependencies)

@hackage/universe-base

A class for finite and recursively enumerable types.

BSD-3-Clause>=1.0 && <1.1

@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