clist: Counted list

[ data, deprecated, library ] [ Propose Tags ]
Deprecated. in favor of Fin
Versions [faq],,,
Dependencies base (>=4.9 && <5), natural-induction (==0.2.*), peano (==0.1.*) [details]
License LicenseRef-OtherLicense
Author M Farkas-Dyck
Category Data
Home page
Uploaded by MatthewFarkasDyck at 2020-02-11T22:54:15Z
Distributions NixOS:
Downloads 2353 total (13 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2020-02-12 [all 1 reports]


[Index] [Quick Jump]


Maintainer's Corner

For package maintainers and hackage trustees