@hackage Fin dependencies

3 results

library:Fin (3 dependencies)

@hackage/peano

Peano numbers

@hackage/base

Core data structures and operations

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

@hackage/natural-induction

Induction over natural numbers

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