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

Пакет: libghc-singletons-dev (3.0.3-1)

Ссылки для 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

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
mips64el 86,9 Кб896,0 Кб [список файлов]