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

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

agda に関するリンク

Screenshot

Debian の資源:

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

メンテナ:

外部の資源:

類似のパッケージ:

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

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

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

Agda の emacs mode、実行形式、標準ライブラリおよびそのドキュメントを提供する メタパッケージです。

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

  • 依存
  • 推奨
  • 提案
  • enhances

agda のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
all 115.3 kB122.0 kB [ファイル一覧]