@hackage Fin dependencies

4 results

library:Fin (4 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

@hackage/clist

Counted list

LicenseRef-OtherLicense>=0.2 && <0.3