всички настройки
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Източник: haskell-singletons  ]

Пакет: libghc-singletons-dev (3.0.3-1)

Връзки за libghc-singletons-dev

Screenshot

Ресурси за Debian:

Изтегляне на пакет-източник 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

  • зависимости
  • препоръчани
  • предложени
  • enhances

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

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
amd64 74,7 кБ656,0 кБ [списък на файловете]
arm64 76,2 кБ704,0 кБ [списък на файловете]
armel 87,9 кБ781,0 кБ [списък на файловете]
armhf 86,7 кБ777,0 кБ [списък на файловете]
i386 92,2 кБ749,0 кБ [списък на файловете]
mips64el 86,9 кБ896,0 кБ [списък на файловете]
ppc64el 85,0 кБ850,0 кБ [списък на файловете]
riscv64 97,0 кБ935,0 кБ [списък на файловете]
s390x 96,0 кБ1 013,0 кБ [списък на файловете]