すべてのオプション
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ ソース: agda  ]

パッケージ: agda-bin (2.5.4.1-3 など)

agda-bin に関するリンク

Screenshot

Debian の資源:

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

メンテナ:

外部の資源:

類似のパッケージ:

Agda へのコマンドラインインターフェース

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

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

本パッケージは Agda プログラムの型チェックおよびコンパイル用のコマンドライ ンプログラムを提供します。Agda ソースコードからハイパーリンクおよびハイライ ト付きの HTML ファイルを生成する機能もあります。

タグ: ソフトウェア開発: テストや QA, ユーザインタフェース: コマンドライン, 役割: role::program, uitoolkit::ncurses

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

  • 依存
  • 推奨
  • 提案
  • enhances

agda-bin のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ バージョン パッケージサイズ インストールサイズ ファイル
alpha (非公式の移植版) 2.5.4.1-3+b1 11,900.9 kB119,801.0 kB [ファイル一覧]
amd64 2.5.4.1-3+b1 5,730.9 kB42,559.0 kB [ファイル一覧]
arm64 2.5.4.1-3+b1 6,621.9 kB49,897.0 kB [ファイル一覧]
hppa (非公式の移植版) 2.5.4.1-3+b1 9,887.9 kB122,766.0 kB [ファイル一覧]
hurd-i386 2.5.4.1-3+b1 5,805.1 kB34,003.0 kB [ファイル一覧]
i386 2.5.4.1-3+b1 5,807.0 kB34,007.0 kB [ファイル一覧]
kfreebsd-amd64 2.5.4.1-3 5,731.1 kB42,558.0 kB [ファイル一覧]
kfreebsd-i386 2.5.4.1-3 5,805.8 kB34,010.0 kB [ファイル一覧]
m68k (非公式の移植版) 2.5.4.1-3 6,953.5 kB68,848.0 kB [ファイル一覧]
mips 2.5.4.1-3+b1 9,486.2 kB93,602.0 kB [ファイル一覧]
mips64el 2.5.4.1-3+b1 10,932.8 kB118,870.0 kB [ファイル一覧]
mipsel 2.5.4.1-3+b1 9,803.8 kB93,646.0 kB [ファイル一覧]
ppc64 (非公式の移植版) 2.5.4.1-3 7,503.2 kB98,288.0 kB [ファイル一覧]
ppc64el 2.5.4.1-3+b1 7,779.3 kB82,467.0 kB [ファイル一覧]
riscv64 (非公式の移植版) 2.5.4.1-3+b1 14,866.1 kB134,451.0 kB [ファイル一覧]
s390x 2.5.4.1-3+b1 12,901.1 kB114,035.0 kB [ファイル一覧]
sparc64 (非公式の移植版) 2.5.4.1-3 11,171.7 kB186,492.0 kB [ファイル一覧]
x32 (非公式の移植版) 2.5.4.1-3 20,634.9 kB82,370.0 kB [ファイル一覧]