Package: agda-bin (2.6.4.3-1 and others)

[ Source: agda  ]

Kommandolinjegrænseflade til Agda

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 kommandolinjeprogram for indtastningskontrol og kompilering af Agdaprogrammer. Programmet kan også oprette hyperhenviste, fremhævede HTML-filer fra Agdakilder.

Tags: Software Development: Testing and QA, User Interface: Command Line, Role: role::program, uitoolkit::ncurses

Other Packages Related to agda-bin

• dep: libatomic1 (>= 4.8) [armel]

  Understøttelsesbibliotek der tilbyder __atomic indbyggede funktioner

• dep: libc6 (>= 2.29) [hppa, m68k, x32]

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.38) [not alpha, hppa, ia64, m68k, x32]

• dep: libc6.1 (>= 2.31) [ia64]

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6.1-udeb

  dep: libc6.1 (>= 2.34) [alpha]

• dep: libffi7 (>= 3.3~20180313) [ia64]

  Package not available

• dep: libffi8 (>= 3.4) [not ia64]

  Brugerflade for fremmed funktion - bibliotekskørselstid

• dep: libghc-agda-dev (<< 2.6.1+~) [hppa, ia64, m68k, x32]

  Afhængighedsindtastet funktionelt programmeringssprog

  dep: libghc-agda-dev (<< 2.6.3+~) [alpha]

  dep: libghc-agda-dev (<< 2.6.4.3+~) [not alpha, hppa, ia64, m68k, x32]

  dep: libghc-agda-dev (>= 2.6.1) [hppa, ia64, m68k, x32]

  dep: libghc-agda-dev (>= 2.6.3) [alpha]

  dep: libghc-agda-dev (>= 2.6.4.3) [not alpha, hppa, ia64, m68k, x32]

• dep: libgmp10 [ia64]

  Bibliotek til multipræcision i aritmetik

  dep: libgmp10 (>= 2:6.2.1+dfsg) [hppa, m68k]

  dep: libgmp10 (>= 2:6.3.0+dfsg) [not hppa, ia64, m68k, x32]

• dep: libnuma1 (>= 2.0.11) [not alpha, hppa, ia64, m68k, x32]

  Biblioteker for kontrol af NUM-politik

• dep: libtinfo6 (>= 6)

  delt terminfo-bibliotek på lavt niveau for terminalhåndtering

• dep: zlib1g (>= 1:1.1.4)

  Komprimeringsbibliotek - kørselstid

• sug: elpa-agda2-mode

  Afhængighedsindtastet funktionelt programmeringssprog - tilstand for emacs

Download agda-bin

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	2.6.3-1	17,254.1 kB	169,046.0 kB	[list of files]
amd64	2.6.4.3-1	9,621.3 kB	66,537.0 kB	[list of files]
arm64	2.6.4.3-1	9,642.4 kB	73,704.0 kB	[list of files]
armel	2.6.4.3-1+b1	13,650.6 kB	86,671.0 kB	[list of files]
hppa (unofficial port)	2.6.1-1+b3	15,732.6 kB	208,519.0 kB	[list of files]
i386	2.6.4.3-1+b1	14,402.1 kB	106,992.0 kB	[list of files]
ia64 (unofficial port)	2.6.1-1+b1	22,542.7 kB	701,265.0 kB	[list of files]
m68k (unofficial port)	2.6.1-1+b1	10,580.7 kB	113,533.0 kB	[list of files]
mips64el	2.6.4.3-1+b1	14,348.1 kB	140,676.0 kB	[list of files]
ppc64 (unofficial port)	2.6.4.3-1	9,178.5 kB	124,410.0 kB	[list of files]
ppc64el	2.6.4.3-1	9,238.9 kB	103,221.0 kB	[list of files]
riscv64	2.6.4.3-1	12,786.6 kB	82,288.0 kB	[list of files]
s390x	2.6.4.3-1	19,309.6 kB	143,968.0 kB	[list of files]
sparc64 (unofficial port)	2.6.4.3-1	12,602.1 kB	216,652.0 kB	[list of files]
x32 (unofficial port)	2.6.1-1+b2	34,236.4 kB	137,406.0 kB	[list of files]