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

  virtual package provided by ghc

• rec: ghc-doc

  documentazione per il sistema di compilazione Haskell Glasgow

• rec: libghc-aeson-doc

  libreria veloce per l'analisi e la codifica di JSON; documentazione

• rec: libghc-agda-dev

  linguaggio di programmazione funzionale tipizzato in modo dipendente

• rec: libghc-ansi-terminal-doc

  semplice gestione di un terminale ANSI con compatibilità con Windows; documentazione

• rec: libghc-async-doc

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

• rec: libghc-blaze-html-doc

  libreria di combinatori HTML per Haskell; documentazione

• rec: libghc-boxes-doc

  2D text pretty-printing library; documentation

• rec: libghc-case-insensitive-doc

  confronto di stringhe insensibile alle maiuscole; documentazione

• rec: libghc-data-hash-doc

  combinatori per costruire funzioni di hash veloci; documentazione

• rec: libghc-dlist-doc

  Haskell library for Differences lists; documentation

• rec: libghc-edit-distance-doc

  corrispondenza fuzzy per Haskell; documentazione

• rec: libghc-equivalence-doc

  mantenimento di una relazione di equivalenza; documentazione

• rec: libghc-gitrev-doc

  compila informazioni su revisioni Git in progetti Haskell; documentazione

• rec: libghc-hashable-doc

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

• rec: libghc-monad-control-doc

  Monad transformers to lift control operations; documentation

• rec: libghc-murmur-hash-doc

  implementazione di MurmurHash2 per Haskell; documentazione

• rec: libghc-parallel-doc

  libreria di programmazione parallela di Haskell per GHC; documentazione

• rec: libghc-peano-doc

  lazy unary natural numbers; documentation

• rec: libghc-regex-tdfa-doc

  libreria Haskell per un motore di espressioni regolari DFA con tag; documentazione

• rec: libghc-split-doc

  libreria Haskell per suddividere liste; documentazione

• rec: libghc-stmonadtrans-doc

  monad transformer version of the ST monad; documentation

• rec: libghc-strict-doc

  varianti rigorose dei tipi di dati standard di Haskell; documentazione

• rec: libghc-time-compat-doc

  compatibilità con old-time per il pacchetto time; documentazione

• rec: libghc-unordered-containers-doc

  tipi per contenitori efficienti basati su hash; documentazione

• rec: libghc-uri-encode-doc

  codifica di URI con gestione di Unicode; documentazione

• rec: libghc-vector-doc

  array efficienti per Haskell; documentazione

• rec: libghc-vector-hashtables-doc

  efficient vector-based mutable hashtables implementation; documentation

• rec: libghc-zlib-doc

  compressione e decompressione nei formati gzip e zlib; 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	7,314.1 kB	181,250.0 kB	[list of files]