все параметры
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Источник: haskell-singletons  ]

Пакет: libghc-singletons-dev (3.0.2-2 и другие)

Ссылки для libghc-singletons-dev

Screenshot

Ресурсы Debian:

Исходный код 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

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка libghc-singletons-dev

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
ppc64el 3.0.2-2+b1 90,0 Кб878,0 Кб [список файлов]