SUSE Package Hub 15 one-click install
Install ghc-singletons
NOTE: This one-click installation requires that the SUSE Package Hub extension to already be enabled.
See http://packagehub.suse.com/how-to-use/ for information on enabling the Package Hub extension
If the extension is not enabled, this installation will fail while trying to enable an invalid repo.
This package might depend on packages from SUSE Linux Enterprise modules. If those modules are not enabled, a package dependency error will be encountered.
SUSE-PackageHub-15-Standard-Pool
Package Hub 15
Dummy repo - this will fail
-
ghc-singletons
A 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.
(<http://www.cis.upenn.edu/~eir/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:
<http://www.cis.upenn.edu/~eir/papers/2014/promotion/promotion.pdf>.
SUSE Package Hub 15 one-click install
Install ghc-singletons
NOTE: This one-click installation requires that the SUSE Package Hub extension to already be enabled.
See http://packagehub.suse.com/how-to-use/ for information on enabling the Package Hub extension
If the extension is not enabled, this installation will fail while trying to enable an invalid repo.
This package might depend on packages from SUSE Linux Enterprise modules. If those modules are not enabled, a package dependency error will be encountered.
SUSE-PackageHub-15-Standard-Pool
Package Hub 15
Dummy repo - this will fail
-
ghc-singletons
A 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.
(<http://www.cis.upenn.edu/~eir/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:
<http://www.cis.upenn.edu/~eir/papers/2014/promotion/promotion.pdf>.