Package: libghc-agda-doc (2.5.4.1-3)

[ 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-33

  virtual package provided by ghc

• rec: ghc-doc

  Dokumentation for Glasgow Haskell Compilation-systemet

• rec: libghc-blaze-html-doc

  HTML combinator-bibliotek for Haskell - dokumentation

• rec: libghc-edison-core-doc

  Dokumentation for Edison Haskell-biblioteket

• rec: libghc-equivalence-doc

  maintaining an equivalence relation; documentation

• rec: libghc-geniplate-mirror-doc

  Use Template Haskell to generate Uniplate-like functions.; 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-strict-doc

  Strict-varianter for Haskells standarddatatyper - dokumentation

• 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	3,702.0 kB	76,632.0 kB	[list of files]