libghc-singletons-dev - 2.6-1+b2 main

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://www.haskell.org/ for more information on Haskell.

Priority: optional
Section: haskell
Suites: amber byzantium crimson dawn landing 
Maintainer: Debian Haskell Group <pkg-haskell-maintainers [꩜] lists.alioth.debian.org>
 
Homepage Source Package
 

Dependencies

  • libghc-base-dev-4.13.0.0-d4e5b
  • libghc-containers-dev-0.6.2.1-39f42
  • libghc-ghc-boot-th-dev-8.8.4-54c6a
  • libghc-mtl-dev-2.2.2-7208c
  • libghc-pretty-dev-1.1.3.6-2f341
  • libghc-syb-dev-0.7.1-bb80c
  • libghc-template-haskell-dev-2.15.0.0-62759
  • libghc-text-dev-1.2.4.0-9eccd
  • libghc-th-desugar-dev-1.10-ca6f7
  • libghc-transformers-dev-0.5.6.2-59c2c
  • libc6 (>= 2.17)
  • libgmp10

Installed Size: 101.1 MB
Architectures: arm64  amd64 

 

Versions

2.6-1+b2 arm64 2.6-1+b2 amd64