| Name : ghc-singletons
| |
| Version : 2.2
| Vendor : obs://build_opensuse_org/devel:languages:haskell
|
| Release : 8.1
| Date : 2018-06-28 11:30:47
|
| Group : Development/Libraries/Haskell
| Source RPM : ghc-singletons-2.2-8.1.src.rpm
|
| Size : 4.08 MB
| |
| Packager : (none)
| |
| Summary : A framework for generating singleton types
|
Description :
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>.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haskell:/lts:/9/SLE_12_Backports/x86_64 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
ghc-singletons
ghc-singletons(x86-64)
libHSsingletons-2.2-1Sm8tLseaRKJexVed7HsBv-ghc8.0.2.so()(64bit)
Requires :
