Commit d96bd6ee authored by Sean Whitton's avatar Sean Whitton

singletons: better description

parent 57b65139
......@@ -3,6 +3,7 @@ haskell-singletons (2.4.1-2) UNRELEASED; urgency=medium
* Declare compliance with Debian Policy 4.2.1.
- Priority optional->extra
- Use https in Format: field in d/copyright.
* Better package description.
-- Sean Whitton <spwhitton@spwhitton.name> Sat, 08 Dec 2018 12:41:49 -0700
......
......@@ -26,16 +26,12 @@ Standards-Version: 4.2.1
Homepage: http://www.github.com/goldfirere/singletons
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/haskell-singletons
Vcs-Git: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git
X-Description: A framework for generating singleton types
X-Description: Haskell framework for generating singleton types
This library generates singleton types, promoted functions, and singleton
functions using Template Haskell. It is useful for programmers who wish
to use dependently typed programming techniques. The 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>)
Version 1.0 and onwards works a lot harder to promote functions. See the
paper published at Haskell Symposium, 2014:
<https://cs.brynmawr.edu/~rae/papers/2014/promotion/promotion.pdf>.
Package: libghc-singletons-dev
Architecture: any
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment