Package: libghc-singletons-dev (3.0.4-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.1.3) [i386, m68k]

  GNU C 라이브러리: 공유 라이브러리
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.16) [x32]

  dep: libc6 (>= 2.17) [arm64, ppc64el]

  dep: libc6 (>= 2.2) [hppa, s390x, sparc64]

  dep: libc6 (>= 2.2.5) [amd64]

  dep: libc6 (>= 2.27) [riscv64]

  dep: libc6 (>= 2.3) [ppc64]

  dep: libc6 (>= 2.4) [armhf]

  dep: libc6 (>= 2.42) [loong64]

• dep: libc6.1 (>= 2.1.3) [alpha]

  GNU C 라이브러리: 공유 라이브러리
  also a virtual package provided by libc6.1-udeb

  dep: libc6.1 (>= 2.37) [ia64]

• dep: libghc-base-dev-4.13.0.0-f73fa [x32]

  virtual package provided by ghc

• dep: libghc-base-dev-4.15.1.0-64902 [m68k]

  virtual package provided by ghc

• dep: libghc-base-dev-4.17.2.0-e9124 [ia64]

  virtual package provided by ghc

• dep: libghc-base-dev-4.20.2.0-08385 [arm64]

  virtual package provided by ghc

• dep: libghc-base-dev-4.20.2.0-0dacb [hppa]

  Package not available

• dep: libghc-base-dev-4.20.2.0-0e259 [alpha]

  virtual package provided by ghc

• dep: libghc-base-dev-4.20.2.0-1162a [loong64]

  virtual package provided by ghc

• dep: libghc-base-dev-4.20.2.0-30faa [riscv64]

  virtual package provided by ghc

• dep: libghc-base-dev-4.20.2.0-40f5b [armhf]

  virtual package provided by ghc

• dep: libghc-base-dev-4.20.2.0-47ff0 [amd64]

  virtual package provided by ghc

• dep: libghc-base-dev-4.20.2.0-62d1f [i386]

  virtual package provided by ghc

• dep: libghc-base-dev-4.20.2.0-96920 [ppc64el]

  virtual package provided by ghc

• dep: libghc-base-dev-4.20.2.0-bc730 [ppc64]

  virtual package provided by ghc

• dep: libghc-base-dev-4.20.2.0-c4d33 [sparc64]

  virtual package provided by ghc

• dep: libghc-base-dev-4.20.2.0-e941f [s390x]

  virtual package provided by ghc

• dep: libgmp10 (>= 2:6.3.0+dfsg) [not x32]

  Multiprecision 연산 라이브러리

Download libghc-singletons-dev

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	3.0.4-1+b2	92.0 kB	985.0 kB	[list of files]
amd64	3.0.4-1+b1	75.5 kB	709.0 kB	[list of files]
arm64	3.0.4-1+b1	77.0 kB	750.0 kB	[list of files]
armhf	3.0.4-1+b1	88.1 kB	828.0 kB	[list of files]
hppa (unofficial port)	3.0.4-1+b1	99.4 kB	867.0 kB	[list of files]
i386	3.0.4-1+b1	74.2 kB	645.0 kB	[list of files]
ia64 (unofficial port)	3.0.2-2+b1	93.7 kB	1,193.0 kB	[list of files]
loong64	3.0.4-1+b1	88.4 kB	926.0 kB	[list of files]
m68k (unofficial port)	3.0.3-1	88.7 kB	784.0 kB	[list of files]
ppc64 (unofficial port)	3.0.4-1+b1	85.4 kB	974.0 kB	[list of files]
ppc64el	3.0.4-1+b1	85.7 kB	898.0 kB	[list of files]
riscv64	3.0.4-1+b1	101.2 kB	1,039.0 kB	[list of files]
s390x	3.0.4-1+b1	96.1 kB	1,066.0 kB	[list of files]
sparc64 (unofficial port)	3.0.4-1+b2	94.7 kB	1,837.0 kB	[list of files]
x32 (unofficial port)	3.0.3-1	98.6 kB	935.0 kB	[list of files]