Пакет: libghc-singletons-dev (2.6-1 и други)

[ Източник: 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.

Други пакети, свързани с libghc-singletons-dev

• dep: libc6 (>= 2.2)

  GNU C Library: Shared libraries
  също и виртуален пакет, предлаган от libc6-udeb

• dep: libghc-base-dev-4.13.0.0-8a208

  виртуален пакет, предлаган от ghc

• dep: libghc-containers-dev-0.6.2.1-25b62

  виртуален пакет, предлаган от ghc

• dep: libghc-ghc-boot-th-dev-8.8.4-bbc02

  виртуален пакет, предлаган от ghc

• dep: libghc-mtl-dev-2.2.2-5bd25

  виртуален пакет, предлаган от ghc

• dep: libghc-pretty-dev-1.1.3.6-a4941

  виртуален пакет, предлаган от ghc

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

  виртуален пакет, предлаган от libghc-syb-dev

• dep: libghc-template-haskell-dev-2.15.0.0-20dec

  виртуален пакет, предлаган от ghc

• dep: libghc-text-dev-1.2.4.0-5f754

  виртуален пакет, предлаган от ghc

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

  виртуален пакет, предлаган от libghc-th-desugar-dev

• dep: libghc-transformers-dev-0.5.6.2-00bc3

  виртуален пакет, предлаган от 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

Изтегляне на libghc-singletons-dev

Изтегляне за всички налични архитектури

Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
mips64el	2.6-1+b1	6 082,3 кБ	108 526,0 кБ	[списък на файловете]