Paket: libghc-singletons-dev (3.0.2-2 ve diğerleri) [debports]

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

Debian Kaynakları:

Hata Raporları

Kaynak Paketini İndir:

Bulunamadı

Geliştiriciler:

Dış Kaynaklar:

Ana Sayfa [www.github.com]

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

dep: libc6 (>= 2.3)

GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
dep: libghc-base-dev-4.17.2.0-cddcc

sanal paketi sağlayan ghc
dep: libgmp10 (>= 2:6.3.0+dfsg)

Multiprecision arithmetic library

libghc-singletons-dev indir

Tüm mevcut mimariler için indir
Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
ppc64 (resmi olmayan port)	3.0.2-2+b1	89,8 kB	900,0 kB	[dosya listesi]