Package: agda (2.6.2.2-1.1)
Links for agda
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.
Dette er en metapakke, som tilbyder Agdas tilstand for Emacs, kørbar fil, standardbibliotek og programmets dokumentation.
Other Packages Related to agda
|
|
|
|
-
- dep: agda-bin
- Kommandolinjegrænseflade til Agda
-
- dep: agda-stdlib
- Standardbibliotek for Agda
-
- dep: agda-stdlib-doc
- Standardbibliotek for Agda - dokumentation
-
- dep: elpa-agda2-mode
- Afhængighedsindtastet funktionelt programmeringssprog - tilstand for emacs
-
- dep: libghc-agda-dev
- Afhængighedsindtastet funktionelt programmeringssprog
Download agda
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 12.0 kB | 20.0 kB | [list of files] |