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


Paketnamelibghc6-agda-prof
Beschreibunga dependently typed functional programming language - profiling libraries
Archiv/RepositoryOffizielles Ubuntu Archiv lucid (universe)
Version2.2.6-3
Sektionuniverse/haskell
Prioritätoptional
Installierte Größe62936 Byte
Hängt ab vonlibghc6-agda-dev (= 2.2.6-3), libghc6-quickcheck-prof-2.1.0.2-8f618, libghc6-array-prof-0.3.0.0-dbdf
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quelleagda
Paketgröße13616256 Byte
Prüfsumme MD5705d2a25385e42b0fb1b025c39833f45
Prüfsumme SHA1fe915dd0535f5c42beabd599f3d0799a5e7f8956
Prüfsumme SHA256b28e8fbd49df06e509dc0fee3e0f5c453e4806485969c8576160e7b10d36c6a9
Link zum Herunterladenlibghc6-agda-prof_2.2.6-3_i386.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 libraries compiled with profiling enabled.


Impressum
Linux is a registered trademark of Linus Torvalds