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

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

  virtual package provided by ghc

• rec: ghc-doc

  documentazione per il sistema di compilazione Haskell Glasgow

• rec: libghc-agda-dev

  linguaggio di programmazione funzionale tipizzato in modo dipendente

• rec: libghc-async-doc

  esegue operazioni IO in modo asincrono e attende i loro risultati; documentazione

• rec: libghc-case-insensitive-doc

  confronto di stringhe insensibile alle maiuscole; 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-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	6,445.3 kB	161,999.0 kB	[list of files]