Paket: libghc-agda-dev (2.6.3-1) [debports]

[ Quellcode:  ]

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.1 (>= 2.29)

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

• dep: libghc-aeson-dev-2.1.2.1-67576

  virtuelles Paket, bereitgestellt durch libghc-aeson-dev

• dep: libghc-array-dev-0.5.4.0-0952c

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-async-dev-2.2.4-2a6a6

  virtuelles Paket, bereitgestellt durch libghc-async-dev

• dep: libghc-base-dev-4.17.2.0-09ce5

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-binary-dev-0.8.9.1-b7fd4

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-blaze-html-dev-0.9.1.2-841f6

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

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

  virtuelles Paket, bereitgestellt durch libghc-boxes-dev

• dep: libghc-bytestring-dev-0.11.5.2-e0d06

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-case-insensitive-dev-1.2.1.0-7e04a

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

• dep: libghc-containers-dev-0.6.7-a1650

  virtuelles Paket, bereitgestellt durch ghc

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

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

• dep: libghc-deepseq-dev-1.4.8.0-ddf16

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-directory-dev-1.3.7.1-f2d83

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-dlist-dev-1.0-afbc1

  virtuelles Paket, bereitgestellt durch libghc-dlist-dev

• dep: libghc-edit-distance-dev-0.2.2.1-56d08

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

• dep: libghc-equivalence-dev-0.4.1-d6c01

  virtuelles Paket, bereitgestellt durch libghc-equivalence-dev

• dep: libghc-exceptions-dev-0.10.5-3dbf4

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-filepath-dev-1.4.2.2-290a6

  virtuelles Paket, bereitgestellt durch ghc

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

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-gitrev-dev-1.3.1-0e910

  virtuelles Paket, bereitgestellt durch libghc-gitrev-dev

• dep: libghc-hashable-dev-1.4.3.0-f3706

  virtuelles Paket, bereitgestellt durch libghc-hashable-dev

• dep: libghc-haskeline-dev-0.8.2-03749

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-monad-control-dev-1.0.3.1-d981c

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

• dep: libghc-mtl-dev-2.2.2-6f39a

  virtuelles Paket, bereitgestellt durch ghc

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

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

• dep: libghc-parallel-dev-3.2.2.0-afc9a

  virtuelles Paket, bereitgestellt durch libghc-parallel-dev

• dep: libghc-pretty-dev-1.1.3.6-1aa0a

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-process-dev-1.6.17.0-44ba3

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-regex-tdfa-dev-1.3.2.2-eb268

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

• dep: libghc-split-dev-0.2.3.5-0947f

  virtuelles Paket, bereitgestellt durch libghc-split-dev

• dep: libghc-stm-dev-2.5.1.0-c4a56

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-stmonadtrans-dev-0.4.7-29b5b

  virtuelles Paket, bereitgestellt durch libghc-stmonadtrans-dev

• dep: libghc-strict-dev-0.5-ba779

  virtuelles Paket, bereitgestellt durch libghc-strict-dev

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

  virtuelles Paket, bereitgestellt durch ghc

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

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

• dep: libghc-time-dev-1.12.2-491a0

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-transformers-dev-0.5.6.2-931c3

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-unordered-containers-dev-0.2.19.1-2504b

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

• dep: libghc-uri-encode-dev-1.5.0.7-393f5

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

• dep: libghc-vector-dev-0.13.1.0-123f2

  virtuelles Paket, bereitgestellt durch libghc-vector-dev

• dep: libghc-vector-hashtables-dev-0.1.1.3-76862

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

• dep: libghc-zlib-dev-0.6.3.0-b4315

  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	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	37.219,9 kB	432.656,0 kB	[Liste der Dateien]