Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage peano dependents

10 results

@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.6.4.3
@hackage/Fin
Finite totally-ordered sets
BSD-3-Clausev0.2.9.0
@hackage/clist
Counted list
LicenseRef-OtherLicensev0.3.0.1
@hackage/monopati
Well-typed paths
BSD-3-Clausev0.1.4
@hackage/natural-induction
Induction over natural numbers
BSD-3-Clausev0.2.0.0
@hackage/permutations
Permutations of finite sets
BSD-3-Clausev0.1.0.0
@hackage/polynom
Polynomial types and operations
LicenseRef-OtherLicensev0.1.0.0
@hackage/reg-alloc-graph-color
Register allocation by graph colorization
MPL-2.0v0.0.0.0
@hackage/rv
RISC-V
BSD-3-Clausev0.0.1.0
@hackage/word
Words of arbitrary size
BSD-3-Clausev0.1.0.1