Пакунок: libghc-singletons-dev (2.6-1 and others)

[ 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.

Інші пакунки пов'язані з libghc-singletons-dev

• dep: libc6 (>= 2.2)

  Бібліотека GNU C: спільні бібліотеки
  also a virtual package provided by libc6-udeb

• dep: libghc-base-dev-4.13.0.0-8a208

  virtual package provided by ghc

• dep: libghc-containers-dev-0.6.2.1-25b62

  virtual package provided by ghc

• dep: libghc-ghc-boot-th-dev-8.8.4-bbc02

  virtual package provided by ghc

• dep: libghc-mtl-dev-2.2.2-5bd25

  virtual package provided by ghc

• dep: libghc-pretty-dev-1.1.3.6-a4941

  virtual package provided by ghc

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

  virtual package provided by libghc-syb-dev

• dep: libghc-template-haskell-dev-2.15.0.0-20dec

  virtual package provided by ghc

• dep: libghc-text-dev-1.2.4.0-5f754

  virtual package provided by ghc

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

  virtual package provided by libghc-th-desugar-dev

• dep: libghc-transformers-dev-0.5.6.2-00bc3

  virtual package provided by ghc

• dep: libgmp10

  Арифметична бібліотека багатоточності

• sug: libghc-singletons-doc

  Haskell framework for generating singleton types; documentation

• sug: libghc-singletons-prof

  Haskell framework for generating singleton types; profiling libraries

Завантажити libghc-singletons-dev

Завантаження для всіх доступних архітектур

Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
mips64el	2.6-1+b1	6,082.3 kB	108,526.0 kB	[список файлів]