[ Source: agda ]
Package: libghc-agda-dev (2.5.4.1-3 and others)
Links for libghc-agda-dev
Debian Resources:
Download Source Package agda:
Maintainer:
External Resources:
- Homepage [wiki.portal.chalmers.se]
Similar packages:
Afhængighedsindtastet funktionelt programmeringssprog
Agda er et afhængighedsindtastet funktionelt programmeringssprog: Det har induktive familier, som fungerer som Haskells GADT'er, men de kan indekseres af værdier og ikke kun af typer. Programmet har også parameteropsatte moduler, mixfix-operatører, Unicodetegn og en interaktiv grænseflade for Emacs (indtastningskontrollen kan hjælpe med udvikling af din kode).
Agda er også en bevisassistent: Programmet er et interaktivt system for skrivning og kontrol af beviser. Agda er baseret på intuitionistisk typeteori, et fundamentsystem for konstruktiv matematik udviklet af den svenske logiker Per Martin-Löf. Programmet har mange ligheder med andre bevisassistenter baseret på afhængighedstyper, såsom Coq, Epigram og NuPRL.
Denne pakke tilbyder et bibliotek til programmeringssproget Haskell. Se http://www.haskell.org/ for yderligere information om Haskell.
Other Packages Related to libghc-agda-dev
|
|
|
|
-
- dep: libatomic1 (>= 4.8)
- Understøttelsesbibliotek der tilbyder __atomic indbyggede funktioner
-
- dep: libc6 (>= 2.3.6-6~)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libghc-array-dev-0.5.2.0-ff492
- virtual package provided by ghc
-
- dep: libghc-async-dev-2.2.1-a7481
- virtual package provided by libghc-async-dev
-
- dep: libghc-base-dev-4.11.1.0-3abbc
- virtual package provided by ghc
-
- dep: libghc-binary-dev-0.8.5.1-88402
- virtual package provided by ghc
-
- dep: libghc-blaze-html-dev-0.9.1.1-584e8
- virtual package provided by libghc-blaze-html-dev
-
- dep: libghc-boxes-dev-0.1.5-47967
- virtual package provided by libghc-boxes-dev
-
- dep: libghc-bytestring-dev-0.10.8.2-1e712
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.5.11.0-76ed0
- virtual package provided by ghc
-
- dep: libghc-data-hash-dev-0.2.0.1-7512e
- virtual package provided by libghc-data-hash-dev
-
- dep: libghc-deepseq-dev-1.4.3.0-20ead
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.1.5-a79c4
- virtual package provided by ghc
-
- dep: libghc-edisoncore-dev-1.3.2.1-fe798
- virtual package provided by libghc-edison-core-dev
-
- dep: libghc-edit-distance-dev-0.2.2.1-89997
- virtual package provided by libghc-edit-distance-dev
-
- dep: libghc-equivalence-dev-0.3.2-603ba
- virtual package provided by libghc-equivalence-dev
-
- dep: libghc-filepath-dev-1.4.2-5b812
- virtual package provided by ghc
-
- dep: libghc-geniplate-mirror-dev-0.7.6-18be8
- virtual package provided by libghc-geniplate-mirror-dev
-
- dep: libghc-gitrev-dev-1.3.1-0ffac
- virtual package provided by libghc-gitrev-dev
-
- dep: libghc-hashable-dev-1.2.7.0-5ded4
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashtables-dev-1.2.3.1-56d76
- virtual package provided by libghc-hashtables-dev
-
- dep: libghc-haskeline-dev-0.7.4.2-6a7b6
- virtual package provided by ghc
-
- dep: libghc-ieee754-dev-0.8.0-794a9
- virtual package provided by libghc-ieee754-dev
-
- dep: libghc-mtl-dev-2.2.2-32af5
- virtual package provided by ghc
-
- dep: libghc-murmur-hash-dev-0.1.0.9-ae599
- virtual package provided by libghc-murmur-hash-dev
-
- dep: libghc-pretty-dev-1.1.3.6-41c62
- virtual package provided by ghc
-
- dep: libghc-process-dev-1.6.3.0-871ce
- virtual package provided by ghc
-
- dep: libghc-regex-tdfa-dev-1.2.3.1-a8dd4
- virtual package provided by libghc-regex-tdfa-dev
-
- dep: libghc-stm-dev-2.4.5.1-23dc2
- virtual package provided by ghc
-
- dep: libghc-strict-dev-0.3.2-b974d
- virtual package provided by libghc-strict-dev
-
- dep: libghc-template-haskell-dev-2.13.0.0-154a8
- virtual package provided by ghc
-
- dep: libghc-text-dev-1.2.3.1-3acd7
- virtual package provided by ghc
-
- dep: libghc-time-dev-1.8.0.2-161f8
- virtual package provided by ghc
-
- dep: libghc-transformers-dev-0.5.5.0-1fc6e
- virtual package provided by ghc
-
- dep: libghc-unordered-containers-dev-0.2.9.0-1edab
- virtual package provided by libghc-unordered-containers-dev
-
- dep: libghc-uri-encode-dev-1.5.0.5-27553
- virtual package provided by libghc-uri-encode-dev
-
- dep: libghc-zlib-dev-0.6.2-7f9ff
- virtual package provided by libghc-zlib-dev
-
- dep: libgmp10
- Bibliotek til multipræcision i aritmetik
-
- dep: libtinfo6 (>= 6)
- delt terminfo-bibliotek på lavt niveau for terminalhåndtering
-
- dep: zlib1g (>= 1:1.1.4)
- Komprimeringsbibliotek - kørselstid
-
- sug: libghc-agda-doc
- Afhængighedsindtastet funktionelt programmeringssprog - dokumentation
Download libghc-agda-dev
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| i386 | 2.5.4.1-3+b1 | 16,404.2 kB | 140,936.0 kB | [list of files] |