すべてのオプション
[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ ソース: agda  ]

パッケージ: libghc-agda-dev (2.6.3-1 など)

libghc-agda-dev に関するリンク

Screenshot

Debian の資源:

agda ソースパッケージをダウンロード:

メンテナ:

外部の資源:

類似のパッケージ:

依存型付けされた関数プログラミング言語

Agda は依存型付けされた関数プログラミング言語です(Haskell のGADTs のよう な、帰納的定義型の種別を持ちますが、その型は型だけではなく値にインデックス されうる型です)。パラメータ付きモジュール、mixfix 演算子、Unicodde 文字およ び Emacs用対話的イ ンターフェースを含みます(型検査器が、あなたのコードの開発を補助します)。

Agda は定理証明支援系でもあります(証明を待ち、検査する対話的システムです)。 Agda は直観主義的な型理論に基づいています(スイスの論理学者 Per Martin-Löf によって開拓された構成的な数学の基礎理論です)。Coq, Epigram および NuPRL と いった、依存型に基づいている他の定理証明支援系とも多くの類似点があります。

本パッケージは Haskell プログラミング言語用ライブラリを提供します。 Haskell に関する詳しい情報は http://www.haskell.org/ をご覧ください。

その他の libghc-agda-dev 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • enhances

libghc-agda-dev のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ バージョン パッケージサイズ インストールサイズ ファイル
alpha (非公式の移植版) 2.6.3-1 37,219.9 kB432,656.0 kB [ファイル一覧]
amd64 2.6.3-1+b3 23,096.8 kB222,068.0 kB [ファイル一覧]
arm64 2.6.3-1+b2 24,841.8 kB266,178.0 kB [ファイル一覧]
hppa (非公式の移植版) 2.6.1-1+b3 69,063.5 kB843,686.0 kB [ファイル一覧]
i386 2.6.3-1+b1 38,399.8 kB304,884.0 kB [ファイル一覧]
ia64 (非公式の移植版) 2.6.1-1+b1 67,508.4 kB1,614,526.0 kB [ファイル一覧]
m68k (非公式の移植版) 2.6.1-1+b1 60,220.5 kB618,821.0 kB [ファイル一覧]
mips64el 2.6.3-1+b1 34,225.4 kB420,545.0 kB [ファイル一覧]
ppc64 (非公式の移植版) 2.6.3-1+b7 31,810.2 kB429,976.0 kB [ファイル一覧]
ppc64el 2.6.3-1+b3 33,394.4 kB386,591.0 kB [ファイル一覧]
riscv64 2.6.3-1+b2 37,924.1 kB430,777.0 kB [ファイル一覧]
s390x 2.6.3-1+b1 33,377.1 kB414,725.0 kB [ファイル一覧]
sparc64 (非公式の移植版) 2.6.3-1 38,366.3 kB613,302.0 kB [ファイル一覧]
x32 (非公式の移植版) 2.6.1-1+b2 68,192.5 kB652,757.0 kB [ファイル一覧]