パッケージ: agda-bin (2.6.4.3-1 など)

[ ソース: 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 関連パッケージ

• dep: libatomic1 (>= 4.8) [armel]

  __atomic ビルトイン関数を提供するサポートライブラリ

• dep: libc6 (>= 2.38)

  GNU C ライブラリ: 共有ライブラリ
  以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb

• dep: libffi8 (>= 3.4)

  Foreign Function Interface ランタイムライブラリ

• dep: libghc-agda-dev (<< 2.6.4.3+~)

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

  dep: libghc-agda-dev (>= 2.6.4.3)

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

  多倍長精度演算ライブラリ

• dep: libnuma1 (>= 2.0.11)

  NUMA ポリシーを制御するライブラリ

• dep: libtinfo6 (>= 6)

  端末を扱う低レベルの terminfo 共有ライブラリ

• dep: zlib1g (>= 1:1.1.4)

  圧縮ライブラリ - ランタイム

• sug: elpa-agda2-mode

  依存型付けされた関数プログラミング言語 — emacs モード

agda-bin のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード

アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	2.6.4.3-1	9,621.3 kB	66,537.0 kB	[ファイル一覧]
arm64	2.6.4.3-1	9,642.4 kB	73,704.0 kB	[ファイル一覧]
armel	2.6.4.3-1+b1	13,650.6 kB	86,671.0 kB	[ファイル一覧]
i386	2.6.4.3-1+b1	14,402.1 kB	106,992.0 kB	[ファイル一覧]
mips64el	2.6.4.3-1+b1	14,348.1 kB	140,676.0 kB	[ファイル一覧]
ppc64el	2.6.4.3-1	9,238.9 kB	103,221.0 kB	[ファイル一覧]
riscv64	2.6.4.3-1	12,786.6 kB	82,288.0 kB	[ファイル一覧]
s390x	2.6.4.3-1	19,309.6 kB	143,968.0 kB	[ファイル一覧]