Package: elpa-agda2-mode (2.6.2.2-1.1)

[ Source: agda  ]

Afhængighedsindtastet funktionelt programmeringssprog - tilstand for emacs

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 indeholder den interaktive udviklingstilstand til emacs for Agda. Denne tilstand er den foretrukne måde at skrive Agdakode og tilbyder funktioner såsom iterativ udvikling, forfinelse, analyse og så videre.

Other Packages Related to elpa-agda2-mode

• dep: agda-bin (<< 2.6.2.2-1.1.1~)

  Kommandolinjegrænseflade til Agda

  dep: agda-bin (>= 2.6.2.2-1.1)

• dep: dh-elpa-helper

  Hjælpepakke for emacs lisp-udvidelser

• dep: emacsen-common

  Fælles faciliteter for alle slags emacsen

• dep: libghc-agda-dev (<< 2.6.2.2-1.1.1~)

  Afhængighedsindtastet funktionelt programmeringssprog

  dep: libghc-agda-dev (>= 2.6.2.2-1.1)

• rec: emacs (>= 46.0)

  GNU Emacs-redigeringsværktøjet - metapakke
  also a virtual package provided by emacs-gtk, emacs-lucid, emacs-nox

• enh: emacs

  GNU Emacs-redigeringsværktøjet - metapakke
  also a virtual package provided by emacs-gtk, emacs-lucid, emacs-nox

• enh: emacs24

  Package not available

Download elpa-agda2-mode

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	49.8 kB	208.0 kB	[list of files]