The singleton-typelits package

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

Singletons and induction schemes over GHC.TypeLits.Nat

Properties

Versions 0.0.0.0
Dependencies base (>=4.9 && <4.11) [details]
License BSD3
Author mniip
Maintainer mniip@mniip.com
Category Data
Home page https://github.com/mniip/singleton-typelits
Uploaded Thu Dec 14 09:19:20 UTC 2017 by mniip
Distributions NixOS:0.0.0.0
Downloads 130 total (93 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-12-14 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees