Package: libghc-singletons-dev (2.6-1 and others)

[ Source: haskell-singletons  ]

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.

This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

Other Packages Related to libghc-singletons-dev

• dep: libc6 (>= 2.4)

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

• dep: libghc-base-dev-4.13.0.0-5b8ba

  virtual package provided by ghc

• dep: libghc-containers-dev-0.6.2.1-53ee1

  virtual package provided by ghc

• dep: libghc-ghc-boot-th-dev-8.8.4-7a117

  virtual package provided by ghc

• dep: libghc-mtl-dev-2.2.2-c5b7a

  virtual package provided by ghc

• dep: libghc-pretty-dev-1.1.3.6-96d07

  virtual package provided by ghc

• dep: libghc-syb-dev-0.7.1-e7786

  virtual package provided by libghc-syb-dev

• dep: libghc-template-haskell-dev-2.15.0.0-d6b75

  virtual package provided by ghc

• dep: libghc-text-dev-1.2.4.0-9798c

  virtual package provided by ghc

• dep: libghc-th-desugar-dev-1.10-b0fd9

  virtual package provided by libghc-th-desugar-dev

• dep: libghc-transformers-dev-0.5.6.2-38196

  virtual package provided by ghc

• dep: libgmp10

  Multiprecision arithmetic library

• sug: libghc-singletons-doc

  Haskell framework for generating singleton types; documentation

• sug: libghc-singletons-prof

  Haskell framework for generating singleton types; profiling libraries

Download libghc-singletons-dev

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
armel	2.6-1+b2	5,502.3 kB	88,305.0 kB	[list of files]