[ Source: agda ]
Пакунок: libghc-agda-dev (2.6.1-1 and others)
Links for libghc-agda-dev
Debian Resources:
Download Source Package agda:
Maintainer:
External Resources:
- Homepage [wiki.portal.chalmers.se]
Similar packages:
Функціональна мова програмування з залежними типами
Agda є функціональною мовою програмування з залежними типами. У ній є індуктивні сімейства, які схожі на GADT з Haskell, але вони можуть бути індексовані за значеннями, а не просто за типами. Також у ній є модулі з підтримкою параметризації, міксфіксні оператори, символи Unicode та інтерактивний інтерфейс Emacs (програма перевірки типів може допомогти в розробці Вашого коду).
Також Agda є інтерактивним засобом доведення теорем. Вона є інтерактивною системою запису та перевірки доказів. Agda заснована на інтуїціоністській теорії типів, базовій системі конструктивної математики, розробленої шведським логіком Пером Мартіном-Лефом. Agda в де чому схожа з іншими інтерактивними засобами доведення теорем, заснованими на залежних типах, такими як Coq, Epigram і NuPRL.
Цей пакунок надає бібліотеку для мови програмування Haskell. Дивіться http://www.haskell.org/ для отримання додаткової інформації щодо Haskell.
Інші пакунки пов'язані з libghc-agda-dev
|
|
|
|
-
- dep: libc6 (>= 2.29)
- Бібліотека GNU C: спільні бібліотеки
also a virtual package provided by libc6-udeb
-
- dep: libghc-aeson-dev-1.4.7.1-79a1a [ppc64el]
- virtual package provided by libghc-aeson-dev
-
- dep: libghc-aeson-dev-1.4.7.1-89c9f [arm64]
- virtual package provided by libghc-aeson-dev
-
- dep: libghc-aeson-dev-1.4.7.1-95a4a [s390x]
- virtual package provided by libghc-aeson-dev
-
- dep: libghc-aeson-dev-1.4.7.1-b336b [i386]
- virtual package provided by libghc-aeson-dev
-
- dep: libghc-aeson-dev-1.4.7.1-e9a35 [amd64]
- virtual package provided by libghc-aeson-dev
-
- dep: libghc-array-dev-0.5.4.0-53f6a [s390x]
- virtual package provided by ghc
-
- dep: libghc-array-dev-0.5.4.0-b24dc [i386]
- virtual package provided by ghc
-
- dep: libghc-array-dev-0.5.4.0-ddbb2 [not i386, s390x]
- virtual package provided by ghc
-
- dep: libghc-async-dev-2.2.2-6f5a8 [s390x]
- virtual package provided by libghc-async-dev
-
- dep: libghc-async-dev-2.2.2-97ad7 [amd64]
- virtual package provided by libghc-async-dev
-
- dep: libghc-async-dev-2.2.2-9d4f5 [ppc64el]
- virtual package provided by libghc-async-dev
-
- dep: libghc-async-dev-2.2.2-aa2cd [i386]
- virtual package provided by libghc-async-dev
-
- dep: libghc-async-dev-2.2.2-b2ac8 [arm64]
- virtual package provided by libghc-async-dev
-
- dep: libghc-base-dev-4.13.0.0-2f220 [amd64]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.13.0.0-3cd45 [i386]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.13.0.0-95196 [s390x]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.13.0.0-bfdb4 [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.13.0.0-d4e5b [arm64]
- virtual package provided by ghc
-
- dep: libghc-binary-dev-0.8.7.0-1c7de [i386]
- virtual package provided by ghc
-
- dep: libghc-binary-dev-0.8.7.0-39b80 [s390x]
- virtual package provided by ghc
-
- dep: libghc-binary-dev-0.8.7.0-3c206 [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-binary-dev-0.8.7.0-49e02 [arm64]
- virtual package provided by ghc
-
- dep: libghc-binary-dev-0.8.7.0-943d8 [amd64]
- virtual package provided by ghc
-
- dep: libghc-blaze-html-dev-0.9.1.2-323a3 [ppc64el]
- virtual package provided by libghc-blaze-html-dev
-
- dep: libghc-blaze-html-dev-0.9.1.2-60c39 [amd64]
- virtual package provided by libghc-blaze-html-dev
-
- dep: libghc-blaze-html-dev-0.9.1.2-adc45 [i386]
- virtual package provided by libghc-blaze-html-dev
-
- dep: libghc-blaze-html-dev-0.9.1.2-baff0 [arm64]
- virtual package provided by libghc-blaze-html-dev
-
- dep: libghc-blaze-html-dev-0.9.1.2-efb7b [s390x]
- virtual package provided by libghc-blaze-html-dev
-
- dep: libghc-boxes-dev-0.1.5-132f5 [i386]
- virtual package provided by libghc-boxes-dev
-
- dep: libghc-boxes-dev-0.1.5-399ed [not i386, s390x]
- virtual package provided by libghc-boxes-dev
-
- dep: libghc-boxes-dev-0.1.5-eec1c [s390x]
- virtual package provided by libghc-boxes-dev
-
- dep: libghc-bytestring-dev-0.10.10.1-2e27a [i386]
- virtual package provided by ghc
-
- dep: libghc-bytestring-dev-0.10.10.1-2f09b [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-bytestring-dev-0.10.10.1-b6ec8 [arm64]
- virtual package provided by ghc
-
- dep: libghc-bytestring-dev-0.10.10.1-c40ee [amd64]
- virtual package provided by ghc
-
- dep: libghc-bytestring-dev-0.10.10.1-c6497 [s390x]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.2.1-312d6 [s390x]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.2.1-39f42 [arm64]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.2.1-67b24 [i386]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.2.1-ab1cf [amd64]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.2.1-f2d50 [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-data-hash-dev-0.2.0.1-21da8 [amd64]
- virtual package provided by libghc-data-hash-dev
-
- dep: libghc-data-hash-dev-0.2.0.1-33244 [s390x]
- virtual package provided by libghc-data-hash-dev
-
- dep: libghc-data-hash-dev-0.2.0.1-c642f [i386]
- virtual package provided by libghc-data-hash-dev
-
- dep: libghc-data-hash-dev-0.2.0.1-e028f [arm64]
- virtual package provided by libghc-data-hash-dev
-
- dep: libghc-data-hash-dev-0.2.0.1-e1661 [ppc64el]
- virtual package provided by libghc-data-hash-dev
-
- dep: libghc-deepseq-dev-1.4.4.0-2ad33 [s390x]
- virtual package provided by ghc
-
- dep: libghc-deepseq-dev-1.4.4.0-5010d [i386]
- virtual package provided by ghc
-
- dep: libghc-deepseq-dev-1.4.4.0-76304 [arm64]
- virtual package provided by ghc
-
- dep: libghc-deepseq-dev-1.4.4.0-9f093 [amd64]
- virtual package provided by ghc
-
- dep: libghc-deepseq-dev-1.4.4.0-a2b24 [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.6.0-137bf [s390x]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.6.0-49fdf [amd64]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.6.0-592a7 [arm64]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.6.0-61922 [i386]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.6.0-e69f4 [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-edit-distance-dev-0.2.2.1-23de2 [not i386, s390x]
- virtual package provided by libghc-edit-distance-dev
-
- dep: libghc-edit-distance-dev-0.2.2.1-6186a [i386]
- virtual package provided by libghc-edit-distance-dev
-
- dep: libghc-edit-distance-dev-0.2.2.1-67303 [s390x]
- virtual package provided by libghc-edit-distance-dev
-
- dep: libghc-equivalence-dev-0.3.5-5c3f3 [s390x]
- virtual package provided by libghc-equivalence-dev
-
- dep: libghc-equivalence-dev-0.3.5-9099f [i386]
- virtual package provided by libghc-equivalence-dev
-
- dep: libghc-equivalence-dev-0.3.5-bcb85 [ppc64el]
- virtual package provided by libghc-equivalence-dev
-
- dep: libghc-equivalence-dev-0.3.5-c3f00 [arm64]
- virtual package provided by libghc-equivalence-dev
-
- dep: libghc-equivalence-dev-0.3.5-f0643 [amd64]
- virtual package provided by libghc-equivalence-dev
-
- dep: libghc-exceptions-dev-0.10.4-0d7bf [i386]
- virtual package provided by libghc-exceptions-dev
-
- dep: libghc-exceptions-dev-0.10.4-5a148 [not i386, s390x]
- virtual package provided by libghc-exceptions-dev
-
- dep: libghc-exceptions-dev-0.10.4-fc8c3 [s390x]
- virtual package provided by libghc-exceptions-dev
-
- dep: libghc-filepath-dev-1.4.2.1-001eb [arm64, ppc64el]
- virtual package provided by ghc
-
- dep: libghc-filepath-dev-1.4.2.1-103b6 [amd64]
- virtual package provided by ghc
-
- dep: libghc-filepath-dev-1.4.2.1-b22e3 [s390x]
- virtual package provided by ghc
-
- dep: libghc-filepath-dev-1.4.2.1-c7330 [i386]
- virtual package provided by ghc
-
- dep: libghc-geniplate-mirror-dev-0.7.7-75b71 [not i386, s390x]
- virtual package provided by libghc-geniplate-mirror-dev
-
- dep: libghc-geniplate-mirror-dev-0.7.7-86f15 [i386]
- virtual package provided by libghc-geniplate-mirror-dev
-
- dep: libghc-geniplate-mirror-dev-0.7.7-92aa7 [s390x]
- virtual package provided by libghc-geniplate-mirror-dev
-
- dep: libghc-ghc-compact-dev-0.1.0.0-11054 [arm64]
- virtual package provided by ghc
-
- dep: libghc-ghc-compact-dev-0.1.0.0-11c87 [s390x]
- virtual package provided by ghc
-
- dep: libghc-ghc-compact-dev-0.1.0.0-614d4 [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-ghc-compact-dev-0.1.0.0-9700a [amd64]
- virtual package provided by ghc
-
- dep: libghc-ghc-compact-dev-0.1.0.0-cfce2 [i386]
- virtual package provided by ghc
-
- dep: libghc-gitrev-dev-1.3.1-7b660 [ppc64el]
- virtual package provided by libghc-gitrev-dev
-
- dep: libghc-gitrev-dev-1.3.1-7ccd5 [i386]
- virtual package provided by libghc-gitrev-dev
-
- dep: libghc-gitrev-dev-1.3.1-94499 [s390x]
- virtual package provided by libghc-gitrev-dev
-
- dep: libghc-gitrev-dev-1.3.1-d5ab3 [amd64]
- virtual package provided by libghc-gitrev-dev
-
- dep: libghc-gitrev-dev-1.3.1-d9438 [arm64]
- virtual package provided by libghc-gitrev-dev
-
- dep: libghc-hashable-dev-1.3.0.0-28b04 [i386]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.3.0.0-523f3 [arm64]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.3.0.0-55d2a [ppc64el]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.3.0.0-659f0 [s390x]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.3.0.0-d5f3c [amd64]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashtables-dev-1.2.3.4-057b0 [s390x]
- virtual package provided by libghc-hashtables-dev
-
- dep: libghc-hashtables-dev-1.2.3.4-16de1 [arm64]
- virtual package provided by libghc-hashtables-dev
-
- dep: libghc-hashtables-dev-1.2.3.4-2e76b [ppc64el]
- virtual package provided by libghc-hashtables-dev
-
- dep: libghc-hashtables-dev-1.2.3.4-80bc2 [amd64]
- virtual package provided by libghc-hashtables-dev
-
- dep: libghc-hashtables-dev-1.2.3.4-fd777 [i386]
- virtual package provided by libghc-hashtables-dev
-
- dep: libghc-haskeline-dev-0.7.5.0-079ce [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-haskeline-dev-0.7.5.0-29185 [s390x]
- virtual package provided by ghc
-
- dep: libghc-haskeline-dev-0.7.5.0-4cbf7 [i386]
- virtual package provided by ghc
-
- dep: libghc-haskeline-dev-0.7.5.0-52a07 [arm64]
- virtual package provided by ghc
-
- dep: libghc-haskeline-dev-0.7.5.0-d1275 [amd64]
- virtual package provided by ghc
-
- dep: libghc-ieee754-dev-0.8.0-1798e [s390x]
- virtual package provided by libghc-ieee754-dev
-
- dep: libghc-ieee754-dev-0.8.0-383a0 [i386]
- virtual package provided by libghc-ieee754-dev
-
- dep: libghc-ieee754-dev-0.8.0-9dc14 [amd64]
- virtual package provided by libghc-ieee754-dev
-
- dep: libghc-ieee754-dev-0.8.0-c3a7f [arm64]
- virtual package provided by libghc-ieee754-dev
-
- dep: libghc-ieee754-dev-0.8.0-cdd27 [ppc64el]
- virtual package provided by libghc-ieee754-dev
-
- dep: libghc-mtl-dev-2.2.2-5bd25 [s390x]
- virtual package provided by ghc
-
- dep: libghc-mtl-dev-2.2.2-7208c [not i386, s390x]
- virtual package provided by ghc
-
- dep: libghc-mtl-dev-2.2.2-e0289 [i386]
- virtual package provided by ghc
-
- dep: libghc-murmur-hash-dev-0.1.0.9-092ea [ppc64el]
- virtual package provided by libghc-murmur-hash-dev
-
- dep: libghc-murmur-hash-dev-0.1.0.9-3106a [amd64]
- virtual package provided by libghc-murmur-hash-dev
-
- dep: libghc-murmur-hash-dev-0.1.0.9-40426 [s390x]
- virtual package provided by libghc-murmur-hash-dev
-
- dep: libghc-murmur-hash-dev-0.1.0.9-d36c5 [i386]
- virtual package provided by libghc-murmur-hash-dev
-
- dep: libghc-murmur-hash-dev-0.1.0.9-e4978 [arm64]
- virtual package provided by libghc-murmur-hash-dev
-
- dep: libghc-pretty-dev-1.1.3.6-2f341 [arm64]
- virtual package provided by ghc
-
- dep: libghc-pretty-dev-1.1.3.6-33019 [amd64]
- virtual package provided by ghc
-
- dep: libghc-pretty-dev-1.1.3.6-529fa [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-pretty-dev-1.1.3.6-a9724 [s390x]
- virtual package provided by ghc
-
- dep: libghc-pretty-dev-1.1.3.6-eb7b6 [i386]
- virtual package provided by ghc
-
- dep: libghc-process-dev-1.6.9.0-23e5c [arm64]
- virtual package provided by ghc
-
- dep: libghc-process-dev-1.6.9.0-88a89 [amd64, ppc64el]
- virtual package provided by ghc
-
- dep: libghc-process-dev-1.6.9.0-d3807 [s390x]
- virtual package provided by ghc
-
- dep: libghc-process-dev-1.6.9.0-ef5bd [i386]
- virtual package provided by ghc
-
- dep: libghc-regex-tdfa-dev-1.3.1.0-14693 [amd64]
- virtual package provided by libghc-regex-tdfa-dev
-
- dep: libghc-regex-tdfa-dev-1.3.1.0-36d34 [s390x]
- virtual package provided by libghc-regex-tdfa-dev
-
- dep: libghc-regex-tdfa-dev-1.3.1.0-97267 [i386]
- virtual package provided by libghc-regex-tdfa-dev
-
- dep: libghc-regex-tdfa-dev-1.3.1.0-d2031 [arm64]
- virtual package provided by libghc-regex-tdfa-dev
-
- dep: libghc-regex-tdfa-dev-1.3.1.0-e150f [ppc64el]
- virtual package provided by libghc-regex-tdfa-dev
-
- dep: libghc-split-dev-0.2.3.4-a5cd3 [not i386, s390x]
- virtual package provided by libghc-split-dev
-
- dep: libghc-split-dev-0.2.3.4-b8004 [i386]
- virtual package provided by libghc-split-dev
-
- dep: libghc-split-dev-0.2.3.4-be2b5 [s390x]
- virtual package provided by libghc-split-dev
-
- dep: libghc-stm-dev-2.5.0.0-28cfe [not i386, s390x]
- virtual package provided by ghc
-
- dep: libghc-stm-dev-2.5.0.0-b76c2 [s390x]
- virtual package provided by ghc
-
- dep: libghc-stm-dev-2.5.0.0-d009b [i386]
- virtual package provided by ghc
-
- dep: libghc-strict-dev-0.3.2-0c403 [i386]
- virtual package provided by libghc-strict-dev
-
- dep: libghc-strict-dev-0.3.2-34732 [s390x]
- virtual package provided by libghc-strict-dev
-
- dep: libghc-strict-dev-0.3.2-57ed8 [arm64, ppc64el]
- virtual package provided by libghc-strict-dev
-
- dep: libghc-strict-dev-0.3.2-c16aa [amd64]
- virtual package provided by libghc-strict-dev
-
- dep: libghc-template-haskell-dev-2.15.0.0-28dea [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-template-haskell-dev-2.15.0.0-51655 [s390x]
- virtual package provided by ghc
-
- dep: libghc-template-haskell-dev-2.15.0.0-62759 [arm64]
- virtual package provided by ghc
-
- dep: libghc-template-haskell-dev-2.15.0.0-80f0d [amd64]
- virtual package provided by ghc
-
- dep: libghc-template-haskell-dev-2.15.0.0-f9a15 [i386]
- virtual package provided by ghc
-
- dep: libghc-text-dev-1.2.4.0-30221 [s390x]
- virtual package provided by ghc
-
- dep: libghc-text-dev-1.2.4.0-9eccd [arm64]
- virtual package provided by ghc
-
- dep: libghc-text-dev-1.2.4.0-a7a6e [amd64]
- virtual package provided by ghc
-
- dep: libghc-text-dev-1.2.4.0-bf8fc [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-text-dev-1.2.4.0-c7435 [i386]
- virtual package provided by ghc
-
- dep: libghc-time-dev-1.9.3-1ee94 [amd64]
- virtual package provided by ghc
-
- dep: libghc-time-dev-1.9.3-2de75 [s390x]
- virtual package provided by ghc
-
- dep: libghc-time-dev-1.9.3-538c4 [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-time-dev-1.9.3-9ed95 [arm64]
- virtual package provided by ghc
-
- dep: libghc-time-dev-1.9.3-d12cd [i386]
- virtual package provided by ghc
-
- dep: libghc-transformers-dev-0.5.6.2-00bc3 [s390x]
- virtual package provided by ghc
-
- dep: libghc-transformers-dev-0.5.6.2-59c2c [not i386, s390x]
- virtual package provided by ghc
-
- dep: libghc-transformers-dev-0.5.6.2-65980 [i386]
- virtual package provided by ghc
-
- dep: libghc-unordered-containers-dev-0.2.10.0-211a4 [ppc64el]
- virtual package provided by libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.10.0-2b345 [s390x]
- virtual package provided by libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.10.0-71273 [amd64]
- virtual package provided by libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.10.0-9171f [arm64]
- virtual package provided by libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.10.0-e2b11 [i386]
- virtual package provided by libghc-unordered-containers-dev
-
- dep: libghc-uri-encode-dev-1.5.0.6-35f69 [amd64]
- virtual package provided by libghc-uri-encode-dev
-
- dep: libghc-uri-encode-dev-1.5.0.6-434ba [arm64]
- virtual package provided by libghc-uri-encode-dev
-
- dep: libghc-uri-encode-dev-1.5.0.6-75820 [s390x]
- virtual package provided by libghc-uri-encode-dev
-
- dep: libghc-uri-encode-dev-1.5.0.6-b0be8 [ppc64el]
- virtual package provided by libghc-uri-encode-dev
-
- dep: libghc-uri-encode-dev-1.5.0.6-dc9dc [i386]
- virtual package provided by libghc-uri-encode-dev
-
- dep: libghc-zlib-dev-0.6.2.2-9d797 [i386]
- virtual package provided by libghc-zlib-dev
-
- dep: libghc-zlib-dev-0.6.2.2-a783a [arm64]
- virtual package provided by libghc-zlib-dev
-
- dep: libghc-zlib-dev-0.6.2.2-ab57c [s390x]
- virtual package provided by libghc-zlib-dev
-
- dep: libghc-zlib-dev-0.6.2.2-bbbdb [ppc64el]
- virtual package provided by libghc-zlib-dev
-
- dep: libghc-zlib-dev-0.6.2.2-eae20 [amd64]
- virtual package provided by libghc-zlib-dev
-
- dep: libgmp10
- Арифметична бібліотека багатоточності
-
- dep: libtinfo6 (>= 6)
- Низькорівнева колективна бібліотека „terminfo“ для роботи з терміналом
-
- dep: zlib1g (>= 1:1.1.4)
- Бібліотека стискання даних (виконавчий модуль)
-
- sug: libghc-agda-doc
- dependently typed functional programming language; documentation
Завантажити libghc-agda-dev
| Архітектура | Версія | Розмір пакунка | Розмір після встановлення | Файли |
|---|---|---|---|---|
| amd64 | 2.6.1-1+b2 | 37,058.8 kB | 471,164.0 kB | [список файлів] |
| arm64 | 2.6.1-1+b2 | 43,768.2 kB | 561,322.0 kB | [список файлів] |
| i386 | 2.6.1-1+b2 | 37,197.2 kB | 409,238.0 kB | [список файлів] |
| ppc64el | 2.6.1-1+b2 | 54,555.9 kB | 734,373.0 kB | [список файлів] |
| s390x | 2.6.1-1+b3 | 56,631.7 kB | 744,115.0 kB | [список файлів] |