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

[ Source: agda  ]

linguaggio di programmazione funzionale tipizzato in modo dipendente; documentazione

Agda è un linguaggio di programmazione funzionale tipizzato in modo dipendente: ha famiglie induttive che sono simili alle GADT di Haskell, ma possono essere indicizzate in base ai valori e non soltanto ai tipi. Ha anche moduli parametrizzati, operatori mixfix, caratteri Unicode e un'interfaccia Emacs interattiva (il verificatore dei tipi può assistere nella scrittura del codice).

Agda è anche un assistente per dimostrazioni: è un sistema interattivo per scrivere e verificare dimostrazioni. Agda è basato sulla teoria intuizionista dei tipi, un sistema fondante per lo sviluppo della matematica costruttiva creata dal logico svedese Per Martin-Löf. Ha molte similitudini con altri assistenti per dimostrazioni basati su tipi dipendenti, come Coq, Epigram e NuPRL.

Questo pacchetto fornisce la documentazione per una libreria per il linguaggio di programmazione Haskell. Per maggiori informazioni su Haskell si veda http://www.haskell.org/.

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

  documentazione per il sistema di compilazione Haskell Glasgow

• rec: libghc-blaze-html-doc

  libreria di combinatori HTML per Haskell; documentazione

• rec: libghc-edison-core-doc

  documentazione della libreria Haskell Edison

• rec: libghc-equivalence-doc

  mantenimento di una relazione di equivalenza; documentazione

• rec: libghc-geniplate-mirror-doc

  uso di Template Haskell per generare funzioni in stile Uniplate; documentazione

• rec: libghc-hashable-doc

  classe per tipi che possono essere convertiti in un valore hash; documentazione

• rec: libghc-hashtables-doc

  mutable hash tables -- documentation; documentation

• rec: libghc-strict-doc

  varianti rigorose dei tipi di dati standard di Haskell; documentazione

• rec: libghc-unordered-containers-doc

  tipi per contenitori efficienti basati su hash; documentazione

• rec: libjs-mathjax

  motore di visualizzazione JavaScript per LaTeX e 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]