Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage peano dependents

13 results

@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.7.0.1
@hackage/Fin
Finite totally-ordered sets
BSD-3-Clausev0.2.9.0
@hackage/VecN
a simple peano-indexed vector type
BSD-3-Clausev0.0.2
@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/clist
Counted list
LicenseRef-OtherLicensev0.3.0.1
@hackage/monad-classes
more flexible mtl
MITv0.3.2.2
@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