idris 1.3.4-320
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | idris |
| 説明: | 依存型を持つ関数型プログラミング言語 |
| 上流 URL: | https://www.idris-lang.org/ |
| ライセンス: | BSD |
| パッケージ容量: | 9.6 MB |
| インストール容量: | 51.4 MB |
| パッケージ作成者: | Felix Yan |
| 最終更新: | 2025-06-15 15:25:46 JST |
依存パッケージ (36)
- ghc-libs
- haskell-aeson
- haskell-annotated-wl-pprint
- haskell-ansi-terminal
- haskell-ansi-wl-pprint
- haskell-async
- haskell-base64-bytestring
- haskell-blaze-html
- haskell-blaze-markup
- haskell-cheapskate
- haskell-code-page
- haskell-fingertree
- haskell-fsnotify
- haskell-ieee754
- haskell-libffi
- haskell-megaparsec
- haskell-network
- haskell-optparse-applicative
- haskell-parser-combinators
- haskell-regex-tdfa
- haskell-safe
- haskell-split
- haskell-terminal-size
- haskell-uniplate
- haskell-unordered-containers
- haskell-utf8-string
- haskell-vector
- haskell-vector-binary-instances
- haskell-zip-archive
- ghc (ビルド)
- uusi (ビルド)
- haskell-tagged (ビルド)
- haskell-tasty (ビルド)
- haskell-tasty-golden (ビルド)
- haskell-tasty-rerun (ビルド)
- nodejs (ビルド)