Package maintainers and Hackage trustees are allowed to edit certain bits
of package metadata after a release, without uploading a new tarball.
Note that the tarball itself is never changed, just the metadata that is
stored separately. For more information about metadata revisions, please
refer to the
Hackage Metadata Revisions FAQ.
| No. |
Time |
User |
SHA256 |
| -r1 (singletons-3.0.1-r1) |
2022-03-29T21:32:58Z |
ryanglscott |
7d3944bb07291105aef25a274cdb42fcf004dee82c2980b87a1e948f65ca7258
|
|
Changed description
from @singletons@ contains the basic types and definitions needed to support
dependently typed programming techniques in Haskell. This library was
originally presented in /Dependently Typed Programming with Singletons/,
published at the Haskell Symposium, 2012.
(<https://cs.brynmawr.edu/~rae/papers/2012/singletons/paper.pdf>)
@singletons@ is intended to be a small, foundational library on which other
projects can build. As such, @singletons@ has a minimal dependency
footprint and supports GHCs dating back to GHC 8.0. For more information,
consult the @singletons@
@<https://github.com/goldfirere/singletons/blob/master/README.md README>@.
You may also be interested in the following related libraries:
* The @singletons-th@ library defines Template Haskell functionality that
allows /promotion/ of term-level functions to type-level equivalents and
/singling/ functions to dependently typed equivalents.
* The @singletons-base@ library uses @singletons-th@ to define promoted and
singled functions from the @base@ library, including the "Prelude".
to @singletons@ contains the basic types and definitions needed to support
dependently typed programming techniques in Haskell. This library was
originally presented in /Dependently Typed Programming with Singletons/,
published at the Haskell Symposium, 2012.
(<https://richarde.dev/papers/2012/singletons/paper.pdf>)
@singletons@ is intended to be a small, foundational library on which other
projects can build. As such, @singletons@ has a minimal dependency
footprint and supports GHCs dating back to GHC 8.0. For more information,
consult the @singletons@
@<https://github.com/goldfirere/singletons/blob/master/README.md README>@.
You may also be interested in the following related libraries:
* The @singletons-th@ library defines Template Haskell functionality that
allows /promotion/ of term-level functions to type-level equivalents and
/singling/ functions to dependently typed equivalents.
* The @singletons-base@ library uses @singletons-th@ to define promoted and
singled functions from the @base@ library, including the "Prelude".
|
| -r0 (singletons-3.0.1-r0) |
2021-10-31T01:46:21Z |
ryanglscott |
dacefaff89bbcb7b865a41b5325a63a8d12a3f17d72a016377119e2aa4120345
|
|
|