all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: agda  ]

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

Links for agda-bin

Screenshot

Debian Resources:

Download Source Package agda:

Maintainer:

External Resources:

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.

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

Other Packages Related to agda-bin

  • depends
  • recommends
  • suggests
  • enhances

Download agda-bin

Download for all available architectures
Architecture Version Package Size Installed Size Files
i386 2.6.1-1+b2 8,757.8 kB55,546.0 kB [list of files]