Package: agda-bin (2.6.3-1) [debports]

Links for agda-bin

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

External Resources:

Homepage [wiki.portal.chalmers.se]

Similar packages:

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.

Other Packages Related to agda-bin

depends

recommends

suggests

enhances

dep: libc6.1 (>= 2.34)

Libreria C GNU: librerie condivise
also a virtual package provided by libc6.1-udeb
dep: libffi8 (>= 3.4)

libreria eseguibile Foreign Function Interface
dep: libghc-agda-dev (<< 2.6.3+~)

linguaggio di programmazione funzionale tipizzato in modo dipendente

dep: libghc-agda-dev (>= 2.6.3)
dep: libgmp10 (>= 2:6.3.0+dfsg)

libreria aritmetica a precisione multipla
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	Package Size	Installed Size	Files
alpha (unofficial port)	17,254.1 kB	169,046.0 kB	[list of files]