[ ソース: agda ]
パッケージ: libghc-agda-doc (2.6.3-2)
libghc-agda-doc に関するリンク
Debian の資源:
agda ソースパッケージをダウンロード:
メンテナ:
外部の資源:
- ホームページ [wiki.portal.chalmers.se]
類似のパッケージ:
依存型付けされた関数プログラミング言語 (ドキュメンテーション)
Agda は依存型付けされた関数プログラミング言語です (Haskell の GADTs のよう な、帰納的定義型の種別を持ちますが、その型は型だけではなく値にインデックス されうる型です)。パラメータ付きモジュール、mixfix 演算子、Unicode 文字およ び Emacs 用対話的インターフェースを含みます (型検査器が、あなたのコードの 開発を補助します)。
Agda は定理証明支援系でもあります (証明を待ち、検査する対話的システムです)。 Agda は直観主義的な型理論に基づいています (スイスの論理学者 Per Martin-Löf によって開拓された構成的な数学の基礎理論です)。Coq, Epigram および NuPRL といった、依存型に基づいている他の定理証明支援系とも多くの類似点があります。
本パッケージは Haskell プログラミング言語用ライブラリのドキュメンテーション を提供します。Haskell に関する詳しい情報は http://www.haskell.org/ をご覧 ください。
その他の libghc-agda-doc 関連パッケージ
|
|
|
|
-
- dep: haddock-interface-41
- 以下のパッケージによって提供される仮想パッケージです: ghc
-
- rec: ghc-doc
- Documentation for the Glasgow Haskell Compilation system
-
- rec: libghc-aeson-doc
- Fast JSON parsing and encoding library; documentation
-
- rec: libghc-agda-dev
- 依存型付けされた関数プログラミング言語
-
- rec: libghc-async-doc
- run IO operations asynchronously and wait for their results; documentation
-
- rec: libghc-blaze-html-doc
- HTML combinator library for Haskell; documentation
-
- rec: libghc-boxes-doc
- 2D text pretty-printing library; documentation
-
- rec: libghc-case-insensitive-doc
- case-insensitive string comparison; documentation
-
- rec: libghc-data-hash-doc
- combinators for building fast hashing functions.; documentation
-
- rec: libghc-dlist-doc
- 差分リスト Haskell ライブラリ - ドキュメンテーション
-
- rec: libghc-edit-distance-doc
- Haskell fuzzy matching; documentation
-
- rec: libghc-equivalence-doc
- maintaining an equivalence relation; documentation
-
- rec: libghc-gitrev-doc
- compile git revision info into Haskell projects; documentation
-
- rec: libghc-hashable-doc
- class for types that can be converted to a hash value; documentation
-
- rec: libghc-monad-control-doc
- Monad transformers to lift control operations; documentation
-
- rec: libghc-murmur-hash-doc
- MurmurHash2 implementation for Haskell.; documentation
-
- rec: libghc-parallel-doc
- Haskell parallel programming library for GHC; documentation
-
- rec: libghc-regex-tdfa-doc
- Haskell library for a tagged DFA regex engine; documentation
-
- rec: libghc-split-doc
- Haskell library for splitting lists; documentation
-
- rec: libghc-stmonadtrans-doc
- monad transformer version of the ST monad; documentation
-
- rec: libghc-strict-doc
- Strict variants of standard Haskell datatypes; documentation
-
- rec: libghc-time-compat-doc
- Compatibility with old-time for the time package; documentation
-
- rec: libghc-unordered-containers-doc
- Efficient hashing-based container types; documentation
-
- rec: libghc-uri-encode-doc
- Unicode aware uri-encoding.; documentation
-
- rec: libghc-vector-doc
- Efficient Arrays for Haskell; documentation
-
- rec: libghc-vector-hashtables-doc
- efficient vector-based mutable hashtables implementation; documentation
-
- rec: libghc-zlib-doc
- Compression and decompression in the gzip and zlib formats; documentation
-
- rec: libjs-mathjax
- JavaScript display engine for LaTeX and MathML