Package: libghc-agda-doc (2.6.2.2-1.1)

[ Source: agda  ]

Afhængighedsindtastet funktionelt programmeringssprog - dokumentation

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 tilbyder dokumentationen for et bibliotek til programmeringssproget Haskell. Se http://www.haskell.org/ for yderligere information om Haskell.

Tags: Software Development: Documentation, Made Of: HTML, Hypertext Markup Language, Role: Documentation

Other Packages Related to libghc-agda-doc

• dep: haddock-interface-38

  virtual package provided by ghc

• rec: ghc-doc

  Dokumentation for Glasgow Haskell Compilation-systemet

• rec: libghc-agda-dev

  Afhængighedsindtastet funktionelt programmeringssprog

• rec: libghc-async-doc

  run IO operations asynchronously and wait for their results; documentation

• rec: libghc-case-insensitive-doc

  case-insensitive string comparison; documentation

• rec: libghc-hashable-doc

  class for types that can be converted to a hash value; documentation

• rec: libghc-hashtables-doc

  mutable hash tables -- documentation; documentation

• rec: libghc-unordered-containers-doc

  Efficient hashing-based container types; documentation

• rec: libjs-mathjax

  JavaScript-visningsmotor for LaTeX og MathML

Download libghc-agda-doc

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	6,445.3 kB	161,999.0 kB	[list of files]