DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnamehaskell-agda-doc
Beschreibunga dependently typed functional programming language - documentation
Archiv/RepositoryOffizielles Ubuntu Archiv lucid (universe)
Version2.2.6-3
Sektionuniverse/doc
Prioritätoptional
Installierte Größe15236 Byte
Hängt ab von
Empfohlene Paketeghc6-doc, libghc6-haskeline-doc, libghc6-haskell-src-doc, libghc6-mtl-doc, libghc6-quickcheck2-doc
PaketbetreuerUbuntu Developers
Quelleagda
Paketgröße1058766 Byte
Prüfsumme MD54138847715982c065f0eacfff6d12d3a
Prüfsumme SHA16d586327fe3161d82c389294c38e842aa4e729ee
Prüfsumme SHA256bd95b95d7b8a0cb27ea24d5210049668382a2744ce8adb80f43eb406b06dec51
Link zum Herunterladenhaskell-agda-doc_2.2.6-3_all.deb
Ausführliche BeschreibungAgda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . This package contains the documentation files.


Impressum
Linux is a registered trademark of Linus Torvalds