Tarkennettu haku
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: haskell-singletons  ]

Paketti: libghc-singletons-dev (3.0.3-1)

Links for libghc-singletons-dev

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti haskell-singletons:

Ylläpitäjä:

External Resources:

Samankaltaisia paketteja:

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.

Muut pakettiin libghc-singletons-dev liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi libghc-singletons-dev

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
amd64 74.7 kt656.0 kt [tiedostoluettelo]
arm64 76.2 kt704.0 kt [tiedostoluettelo]
armel 87.9 kt781.0 kt [tiedostoluettelo]
armhf 86.7 kt777.0 kt [tiedostoluettelo]
i386 92.2 kt749.0 kt [tiedostoluettelo]
mips64el 86.9 kt896.0 kt [tiedostoluettelo]
ppc64el 85.0 kt850.0 kt [tiedostoluettelo]
riscv64 97.0 kt935.0 kt [tiedostoluettelo]
s390x 96.0 kt1,013.0 kt [tiedostoluettelo]