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

[ Source: agda  ]

interfaccia a riga di comando per Agda

Agda è un linguaggio di programmazione funzionale tipizzato in modo dipendente: ha famiglie induttive che sono simili alle GADT di Haskell, ma possono essere indicizzate in base ai valori e non soltanto ai tipi. Ha anche moduli parametrizzati, operatori mixfix, caratteri Unicode e un'interfaccia Emacs interattiva (il verificatore dei tipi può assistere nella scrittura del codice).

Agda è anche un assistente per dimostrazioni: è un sistema interattivo per scrivere e verificare dimostrazioni. Agda è basato sulla teoria intuizionista dei tipi, un sistema fondante per lo sviluppo della matematica costruttiva creata dal logico svedese Per Martin-Löf. Ha molte similitudini con altri assistenti per dimostrazioni basati su tipi dipendenti, come Coq, Epigram e NuPRL.

Questo pacchetto fornisce un programma a riga di comando per controllo dei tipi e compilazione di programmi Agda. Il programma può anche generare file HTML con collegamenti ipertestuali ed evidenziazioni a partire da sorgenti Agda.

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]

  libreria ausiliaria che fornisce funzioni __atomic incorporate

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

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

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

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

  Libreria C GNU: librerie condivise
  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]

  libreria eseguibile Foreign Function Interface

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

  linguaggio di programmazione funzionale tipizzato in modo dipendente

  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]

  libreria aritmetica a precisione multipla

  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]

  librerie per controllare la politica NUMA

• dep: libtinfo6 (>= 6)

  libreria condivisa di basso livello terminfo per la gestione del terminale

• dep: zlib1g (>= 1:1.1.4)

  libreria di compressione - runtime

• sug: elpa-agda2-mode

  linguaggio di programmazione funzionale tipizzato in modo dipendente - modalità 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+b2	9,615.6 kB	66,534.0 kB	[list of files]
arm64	2.6.4.3-1+b1	9,634.8 kB	73,633.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]