Package: libghc-agda-doc (2.6.4.3-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-42

  virtual package provided by ghc

• rec: ghc-doc

  Dokumentation for Glasgow Haskell Compilation-systemet

• rec: libghc-aeson-doc

  Hurtigt JSON-fortolknings- og kodningsbibliotek - dokumentation

• rec: libghc-agda-dev

  Afhængighedsindtastet funktionelt programmeringssprog

• rec: libghc-ansi-terminal-doc

  Simpel ANSI-terminalunderstøttelse, med Windows-kompatibilitet - dokumentation

• rec: libghc-async-doc

  run IO operations asynchronously and wait for their results; documentation

• rec: libghc-blaze-html-doc

  HTML combinator-bibliotek for Haskell - dokumentation

• rec: libghc-boxes-doc

  2D-tekst forskønnet-udskrivning - dokumentation

• rec: libghc-case-insensitive-doc

  case-insensitive string comparison; documentation

• rec: libghc-data-hash-doc

  Kombinatorer for bygning af hurtige hashing-funktioner - dokumentation

• rec: libghc-dlist-doc

  Haskell library for Differences lists; documentation

• rec: libghc-edit-distance-doc

  Fuzzy-matchning for Haskell - dokumentation

• rec: libghc-equivalence-doc

  maintaining an equivalence relation; documentation

• rec: libghc-gitrev-doc

  compile git revision info into Haskell projects; documentation

• rec: libghc-hashable-doc

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

• rec: libghc-monad-control-doc

  Monadtransformere til kontrol af løfteoperationer - dokumentation

• rec: libghc-murmur-hash-doc

  MurmurHash2-implementering for Haskell - dokumentation

• rec: libghc-parallel-doc

  Haskell-parallelt programmeringsbibliotek for GHC - dokumentation

• rec: libghc-peano-doc

  lazy unary natural numbers; documentation

• rec: libghc-regex-tdfa-doc

  Haskell library for a tagged DFA regex engine; documentation

• rec: libghc-split-doc

  Haskell library for splitting lists; documentation

• rec: libghc-stmonadtrans-doc

  monad transformer version of the ST monad; documentation

• rec: libghc-strict-doc

  Strict-varianter for Haskells standarddatatyper - dokumentation

• rec: libghc-time-compat-doc

  Kompatibilitet med old-time for pakken time - dokumentation

• rec: libghc-unordered-containers-doc

  Efficient hashing-based container types; documentation

• rec: libghc-uri-encode-doc

  Unicode-opmærksom uri-kodning - dokumentation

• rec: libghc-vector-doc

  Efficient Arrays for Haskell; documentation

• rec: libghc-vector-hashtables-doc

  Effektiv vektorbaseret mutable hashtables-implementering - dokumentation

• rec: libghc-zlib-doc

  Compression and decompression in the gzip and zlib formats; 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	7,314.1 kB	181,250.0 kB	[list of files]