Paket: libghc-agda-dev (2.6.4.3-1 und andere)

[ Quellcode: agda  ]

Abhängig typisierte, funktionale Programmiersprache

Agda ist eine abhängig typisierte, funktionale Programmiersprache: Sie verfügt über induktive Familien, die Haskells GADTs entsprechen, jedoch mit Werten und nicht nur mit Typen indiziert werden können. Zusätzlich verfügt sie über parametrisierte Module, ternäre Operatoren, Unicode-Zeichen und eine interaktive Emacs-Schnittstelle (die Typüberprüfung kann bei der Entwicklung Ihres Codes hilfreich sein).

Agda ist auch ein Beweisassistent, ein interaktives System zum Schreiben und Überprüfen von Beweisen. Agda basiert auf der intuitionistischen Typentheorie, einem grundlegenden System für konstruktive Mathematik, entwickelt vom schwedischen Logiker Per Martin-Löf. Es ähnelt anderen Beweisassistenten, die auf abhängigen Typen basieren, wie Coq, Epigram und NuPRL.

Dieses Paket enthält eine Bibliothek für die Programmiersprache Haskell. Weitere Informationen zu Haskell erhalten Sie auf http://www.haskell.org/ .

Andere Pakete mit Bezug zu libghc-agda-dev

• dep: libc6 (>= 2.29)

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

• dep: libghc-aeson-dev-2.1.2.1-7e2e9

  virtuelles Paket, bereitgestellt durch libghc-aeson-dev

• dep: libghc-ansi-terminal-dev-1.0.2-ef083

  virtuelles Paket, bereitgestellt durch libghc-ansi-terminal-dev

• dep: libghc-array-dev-0.5.6.0-3963a

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-async-dev-2.2.5-a374a

  virtuelles Paket, bereitgestellt durch libghc-async-dev

• dep: libghc-base-dev-4.18.2.1-3be9b

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-binary-dev-0.8.9.1-7d034

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-blaze-html-dev-0.9.2.0-200d7

  virtuelles Paket, bereitgestellt durch libghc-blaze-html-dev

• dep: libghc-boxes-dev-0.1.5-cdd49

  virtuelles Paket, bereitgestellt durch libghc-boxes-dev

• dep: libghc-bytestring-dev-0.11.5.3-da82b

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-case-insensitive-dev-1.2.1.0-80e7d

  virtuelles Paket, bereitgestellt durch libghc-case-insensitive-dev

• dep: libghc-containers-dev-0.6.7-138bd

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-data-hash-dev-0.2.0.1-92158

  virtuelles Paket, bereitgestellt durch libghc-data-hash-dev

• dep: libghc-deepseq-dev-1.4.8.1-ae077

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-directory-dev-1.3.8.5-8eb88

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-dlist-dev-1.0-502c2

  virtuelles Paket, bereitgestellt durch libghc-dlist-dev

• dep: libghc-edit-distance-dev-0.2.2.1-6c3fe

  virtuelles Paket, bereitgestellt durch libghc-edit-distance-dev

• dep: libghc-equivalence-dev-0.4.1-35eaa

  virtuelles Paket, bereitgestellt durch libghc-equivalence-dev

• dep: libghc-exceptions-dev-0.10.7-b6e43

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-filepath-dev-1.4.300.1-16f57

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-ghc-compact-dev-0.1.0.0-13818

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-gitrev-dev-1.3.1-de627

  virtuelles Paket, bereitgestellt durch libghc-gitrev-dev

• dep: libghc-hashable-dev-1.4.4.0-409e6

  virtuelles Paket, bereitgestellt durch libghc-hashable-dev

• dep: libghc-haskeline-dev-0.8.2.1-27424

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-monad-control-dev-1.0.3.1-2d659

  virtuelles Paket, bereitgestellt durch libghc-monad-control-dev

• dep: libghc-mtl-dev-2.3.1-c3eca

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-murmur-hash-dev-0.1.0.10-29769

  virtuelles Paket, bereitgestellt durch libghc-murmur-hash-dev

• dep: libghc-parallel-dev-3.2.2.0-8def8

  virtuelles Paket, bereitgestellt durch libghc-parallel-dev

• dep: libghc-peano-dev-0.1.0.2-9be4b

  virtuelles Paket, bereitgestellt durch libghc-peano-dev

• dep: libghc-pretty-dev-1.1.3.6-909c8

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-process-dev-1.6.19.0-8642d

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-regex-tdfa-dev-1.3.2.2-91ff2

  virtuelles Paket, bereitgestellt durch libghc-regex-tdfa-dev

• dep: libghc-split-dev-0.2.5-4406f

  virtuelles Paket, bereitgestellt durch libghc-split-dev

• dep: libghc-stm-dev-2.5.1.0-059ff

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-stmonadtrans-dev-0.4.8-97d29

  virtuelles Paket, bereitgestellt durch libghc-stmonadtrans-dev

• dep: libghc-strict-dev-0.5-9cb69

  virtuelles Paket, bereitgestellt durch libghc-strict-dev

• dep: libghc-text-dev-2.0.2-da1a9

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-time-compat-dev-1.9.6.1-fc316

  virtuelles Paket, bereitgestellt durch libghc-time-compat-dev

• dep: libghc-time-dev-1.12.2-d0f76

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-transformers-dev-0.6.1.0-6ad3c

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-unordered-containers-dev-0.2.20-ba4ff

  virtuelles Paket, bereitgestellt durch libghc-unordered-containers-dev

• dep: libghc-uri-encode-dev-1.5.0.7-3389f

  virtuelles Paket, bereitgestellt durch libghc-uri-encode-dev

• dep: libghc-vector-dev-0.13.1.0-abd16

  virtuelles Paket, bereitgestellt durch libghc-vector-dev

• dep: libghc-vector-hashtables-dev-0.1.2.0-bcae3

  virtuelles Paket, bereitgestellt durch libghc-vector-hashtables-dev

• dep: libghc-zlib-dev-0.6.3.0-24b10

  virtuelles Paket, bereitgestellt durch libghc-zlib-dev

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  Mehrfachgenaue, arithmetische Bibliothek

• dep: libtinfo6 (>= 6)

  Systemnahe terminfo-Laufzeitbibliothek für die Terminalsteuerung

• dep: zlib1g (>= 1:1.1.4)

  Kompressions-Bibliothek - Laufzeit

libghc-agda-dev herunterladen

Download für alle verfügbaren Architekturen

Architektur	Version	Paketgröße	Größe (installiert)	Dateien
armel	2.6.4.3-1+b1	30.469,8 kB	270.734,0 kB	[Liste der Dateien]