Package: libghc-agda-dev (2.6.4.3-1)

[ Source: agda  ]

dependently typed functional programming language

Agda 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 provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

Other Packages Related to libghc-agda-dev

• dep: libc6 (>= 2.29)

  GNU C könyvtár: megosztott könyvtárak
  also a virtual package provided by libc6-udeb

• dep: libghc-aeson-dev-2.1.2.1-9fb12

  virtual package provided by libghc-aeson-dev

• dep: libghc-ansi-terminal-dev-1.0.2-7693e

  virtual package provided by libghc-ansi-terminal-dev

• dep: libghc-array-dev-0.5.6.0-65c23

  virtual package provided by ghc

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

  virtual package provided by libghc-async-dev

• dep: libghc-base-dev-4.18.2.1-75247

  virtual package provided by ghc

• dep: libghc-binary-dev-0.8.9.1-88a2a

  virtual package provided by ghc

• dep: libghc-blaze-html-dev-0.9.2.0-11023

  virtual package provided by libghc-blaze-html-dev

• dep: libghc-boxes-dev-0.1.5-3094f

  virtual package provided by libghc-boxes-dev

• dep: libghc-bytestring-dev-0.11.5.3-31c85

  virtual package provided by ghc

• dep: libghc-case-insensitive-dev-1.2.1.0-58734

  virtual package provided by libghc-case-insensitive-dev

• dep: libghc-containers-dev-0.6.7-3eda8

  virtual package provided by ghc

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

  virtual package provided by libghc-data-hash-dev

• dep: libghc-deepseq-dev-1.4.8.1-71feb

  virtual package provided by ghc

• dep: libghc-directory-dev-1.3.8.5-71f9f

  virtual package provided by ghc

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

  virtual package provided by libghc-dlist-dev

• dep: libghc-edit-distance-dev-0.2.2.1-79404

  virtual package provided by libghc-edit-distance-dev

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

  virtual package provided by libghc-equivalence-dev

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

  virtual package provided by ghc

• dep: libghc-filepath-dev-1.4.300.1-4a448

  virtual package provided by ghc

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

  virtual package provided by ghc

• dep: libghc-gitrev-dev-1.3.1-73ca6

  virtual package provided by libghc-gitrev-dev

• dep: libghc-hashable-dev-1.4.4.0-3ee83

  virtual package provided by libghc-hashable-dev

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

  virtual package provided by ghc

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

  virtual package provided by libghc-monad-control-dev

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

  virtual package provided by ghc

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

  virtual package provided by libghc-murmur-hash-dev

• dep: libghc-parallel-dev-3.2.2.0-26f96

  virtual package provided by libghc-parallel-dev

• dep: libghc-peano-dev-0.1.0.2-b239f

  virtual package provided by libghc-peano-dev

• dep: libghc-pretty-dev-1.1.3.6-21c21

  virtual package provided by ghc

• dep: libghc-process-dev-1.6.19.0-220a3

  virtual package provided by ghc

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

  virtual package provided by libghc-regex-tdfa-dev

• dep: libghc-split-dev-0.2.5-3cfdd

  virtual package provided by libghc-split-dev

• dep: libghc-stm-dev-2.5.1.0-99e80

  virtual package provided by ghc

• dep: libghc-stmonadtrans-dev-0.4.8-b519e

  virtual package provided by libghc-stmonadtrans-dev

• dep: libghc-strict-dev-0.5-61c83

  virtual package provided by libghc-strict-dev

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

  virtual package provided by ghc

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

  virtual package provided by libghc-time-compat-dev

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

  virtual package provided by ghc

• dep: libghc-transformers-dev-0.6.1.0-5335d

  virtual package provided by ghc

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

  virtual package provided by libghc-unordered-containers-dev

• dep: libghc-uri-encode-dev-1.5.0.7-6da48

  virtual package provided by libghc-uri-encode-dev

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

  virtual package provided by libghc-vector-dev

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

  virtual package provided by libghc-vector-hashtables-dev

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

  virtual package provided by libghc-zlib-dev

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

  Multiprecision arithmetic library

• dep: libtinfo6 (>= 6)

  shared low-level terminfo library for terminal handling

• dep: zlib1g (>= 1:1.1.4)

  tömörítő könyvtár - futásidejű

Download libghc-agda-dev

Download for all available architectures

Architecture	Package Size	Installed Size	Files
arm64	23,894.0 kB	252,218.0 kB	[list of files]