all options
squeeze  ] [  wheezy  ] [  jessie  ] [  stretch  ] [  sid  ]
[ Source: agda-bin  ]

Package: agda-bin (2.3.0.1-1)

Links for agda-bin

Screenshot

Debian Resources:

Download Source Package agda-bin:

Maintainers:

External Resources:

Similar packages:

Befehlszeilenschnittstelle zu Agda

Agda ist eine abhängig typisierte, funktionale Programmiersprache: Sie besitzt induktive Familien, die wie Haskells GADTs sind, jedoch mit Werten und nicht nur mit Typen indiziert werden können. Zusätzlich besitzt sie parametrisierte Module, mixfix-Operatoren, Unicode-Kodierung und eine interaktive Emacs-Schnittstelle (die Typüberprüfung kann bei der Codeentwicklung hilfreich sein).

Agda ist auch ein Beweisassistent, ein interaktives System zum Schreiben und Überprüfen von Beweisen. Agda basiert auf der intuitionistischen Typentheorie, ein grundlegendes System für konstruktive Mathematik, entwickelt vom schwedischen Logiker Per Martin-Löf. Es ähnelt anderen Beweisassistenten, die auf abhängigen Typen basieren, wie Coq, Epigram und NuPRL.

Dieses Paket enthält ein Befehlszeilenprogramm zur Typüberprüfung und Kompilierung von Agda-Programmen. Das Programm kann überdies verlinkte, hervorgehobene HTML-Dateien aus Agda-Quellcode erstellen.

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 Package Size Installed Size Files
amd64 4,796.6 kB26,014.0 kB [list of files]
armel 7,079.1 kB35,807.0 kB [list of files]
armhf 7,031.7 kB34,016.0 kB [list of files]
i386 4,479.6 kB18,386.0 kB [list of files]
kfreebsd-amd64 5,604.6 kB30,486.0 kB [list of files]
kfreebsd-i386 5,237.7 kB21,520.0 kB [list of files]
powerpc 4,709.3 kB25,755.0 kB [list of files]
s390x 15,019.3 kB76,139.0 kB [list of files]
sparc 6,950.2 kB51,457.0 kB [list of files]