Fin: Finite totally-ordered sets

[ bsd3, data, deprecated, library ] [ Propose Tags ]

Deprecated

Modules

[Index] [Quick Jump]

Data
- Data.Fin
  - Data.Fin.List
  - Data.Fin.Permutation

Downloads

Fin-0.2.6.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

No current members of group

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.1.0.0, 0.1.1.0, 0.2.0.0, 0.2.1.0, 0.2.2.0, 0.2.3.0, 0.2.4.0, 0.2.5.0, 0.2.5.1, 0.2.6.0, 0.2.6.1, 0.2.7.0, 0.2.8.0, 0.2.9.0
Dependencies	alg (>=0.2.5 && <0.3), base (>=4.7 && <5), foldable1 (>=0.1 && <0.2), natural-induction (>=0.2 && <0.3), peano, universe-base (>=1.0 && <1.1) [details]
License	BSD-3-Clause
Author	M Farkas-Dyck
Maintainer	strake888@gmail.com
Category	Data
Uploaded	by MatthewFarkasDyck at 2018-12-12T19:50:31Z
Distributions
Reverse Dependencies	3 direct, 1 indirect [details]
Downloads	8000 total (39 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2018-12-12 [all 1 reports]