libghc-singletons-dev 2.4.1-2 (arm64 binary) in ubuntu eoan
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.
.
This package provides a library for the Haskell programming language.
See http://
Details
- Package version:
- 2.4.1-2
- Status:
- Superseded
- Component:
- universe
- Priority:
- Optional
Downloadable files
arm64 build of haskell-singletons 2.4.1-2 in ubuntu disco PROPOSED produced
these files:
- libghc-singletons-dev_2.4.1-2_arm64.deb (2.3 MiB)
Package relationships
- Depends on:
- libatomic1 (>= 4.8)
- libc6 (>= 2.17)
- libghc-base-dev-4.11.1.0-7db1a
- libghc-containers-dev-0.5.11.0-1b029
- libghc-ghc-boot-th-dev-8.4.4-d8bd5
- libghc-mtl-dev-2.2.2-28a8b
- libghc-syb-dev-0.7-eee7c
- libghc-template-haskell-dev-2.13.0.0-50e9c
- libghc-text-dev-1.2.3.1-89382
- libghc-th-desugar-dev-1.8-43088
- libghc-transformers-dev-0.5.5.0-b5d2f
- libgmp10
- Provides:
- libghc-singletons-dev-2.4.1-a4b15
- Suggests: