all options
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Source: agda  ]

Package: libghc-agda-dev (2.5.4.1-3 and others)

Links for libghc-agda-dev

Screenshot

Debian Resources:

Download Source Package agda:

Maintainer:

External Resources:

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

  • depends
  • recommends
  • suggests
  • enhances

Download libghc-agda-dev

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 2.5.4.1-3+b1 26,078.4 kB319,244.0 kB [list of files]
amd64 2.5.4.1-3+b1 16,768.2 kB173,746.0 kB [list of files]
arm64 2.5.4.1-3+b1 19,274.8 kB213,766.0 kB [list of files]
hppa (unofficial port) 2.5.4.1-3+b2 31,409.1 kB339,411.0 kB [list of files]
i386 2.5.4.1-3+b1 16,404.2 kB140,936.0 kB [list of files]
m68k (unofficial port) 2.5.4.1-3+b1 26,627.9 kB238,666.0 kB [list of files]
mips 2.5.4.1-3+b1 21,821.2 kB238,300.0 kB [list of files]
mips64el 2.5.4.1-3+b1 23,961.3 kB308,989.0 kB [list of files]
mipsel 2.5.4.1-3+b1 22,483.6 kB238,353.0 kB [list of files]
ppc64 (unofficial port) 2.5.4.1-3 22,672.1 kB321,335.0 kB [list of files]
ppc64el 2.5.4.1-3+b1 23,959.6 kB290,796.0 kB [list of files]
riscv64 (unofficial port) 2.5.4.1-3+b1 36,546.0 kB473,921.0 kB [list of files]
s390x 2.5.4.1-3+b1 25,371.8 kB293,876.0 kB [list of files]
sparc64 (unofficial port) 2.5.4.1-3 29,944.2 kB495,932.0 kB [list of files]
x32 (unofficial port) 2.5.4.1-3 30,733.7 kB253,746.0 kB [list of files]