Skip to content
Sections
>> Trisquel >> パッケージ >> aramo >> haskell >> libghc-type-equality-dev
aramo  ]
[ ソース: haskell-type-equality  ]

パッケージ: libghc-type-equality-dev (1-2build2)

Data.Type.Equality compat package

This library defines a propositional equality data type, shims Data.Type.Equality.

The module Data.Type.Equality.Hetero shims :~~: equality, for compilers with PolyKinds.

This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

その他の libghc-type-equality-dev 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • dep: libc6 (>= 2.17)
    GNU C Library: Shared libraries
    以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
  • dep: libghc-base-dev-4.13.0.0-d4e5b
    以下のパッケージによって提供される仮想パッケージです: ghc
  • dep: libgmp10
    Multiprecision arithmetic library

libghc-type-equality-dev のダウンロード

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