tüm seçenekler
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Kaynak: haskell-singletons  ]

Paket: libghc-singletons-dev (3.0.2-1)

libghc-singletons-dev için bağlantılar

Screenshot

Debian Kaynakları:

haskell-singletons Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

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 ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

libghc-singletons-dev indir

Tüm mevcut mimariler için indir
Mimari Paket Boyutu Kurulu Boyut Dosyalar
amd64 77,5 kB693,0 kB [dosya listesi]
arm64 91,6 kB951,0 kB [dosya listesi]
armel 88,6 kB806,0 kB [dosya listesi]
armhf 87,7 kB802,0 kB [dosya listesi]
i386 94,6 kB774,0 kB [dosya listesi]
mips64el 88,7 kB922,0 kB [dosya listesi]
mipsel 84,4 kB840,0 kB [dosya listesi]
ppc64el 88,9 kB885,0 kB [dosya listesi]
s390x 93,1 kB877,0 kB [dosya listesi]