Paquet : libghc-singletons-dev (2.6-1 et autres)

[ Paquet source : 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.

Autres paquets associés à libghc-singletons-dev

• dep: libc6 (>= 2.4)

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

• dep: libghc-base-dev-4.13.0.0-5b8ba

  paquet virtuel fourni par ghc

• dep: libghc-containers-dev-0.6.2.1-53ee1

  paquet virtuel fourni par ghc

• dep: libghc-ghc-boot-th-dev-8.8.4-7a117

  paquet virtuel fourni par ghc

• dep: libghc-mtl-dev-2.2.2-c5b7a

  paquet virtuel fourni par ghc

• dep: libghc-pretty-dev-1.1.3.6-96d07

  paquet virtuel fourni par ghc

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

  paquet virtuel fourni par libghc-syb-dev

• dep: libghc-template-haskell-dev-2.15.0.0-d6b75

  paquet virtuel fourni par ghc

• dep: libghc-text-dev-1.2.4.0-9798c

  paquet virtuel fourni par ghc

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

  paquet virtuel fourni par libghc-th-desugar-dev

• dep: libghc-transformers-dev-0.5.6.2-38196

  paquet virtuel fourni par ghc

• dep: libgmp10

  Bibliothèque arithmétique à multi-précision

• sug: libghc-singletons-doc

  Haskell framework for generating singleton types; documentation

• sug: libghc-singletons-prof

  Haskell framework for generating singleton types; profiling libraries

Télécharger libghc-singletons-dev

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
armhf	2.6-1+b2	5 471,7 ko	88 023,0 ko	[liste des fichiers]