[ aramo ]
[ 源代码: haskell-type-equality ]
软件包: libghc-type-equality-dev (1-2build2)
libghc-type-equality-dev 的相关链接
Trisquel 的资源:
下载源码包 haskell-type-equality:
- [haskell-type-equality_1-2build2.dsc]
- [haskell-type-equality_1.orig.tar.gz]
- [haskell-type-equality_1-2build2.debian.tar.xz]
维护者:
Original Maintainers:
- Debian Haskell Group (Mail Archive)
- Clint Adams
外部的资源:
- 主页 [github.com]
相似软件包:
- libghc-type-equality-doc
- libghc-some-prof
- libghc-some-dev
- libghc-djinn-lib-prof
- libghc-data-default-instances-dlist-prof
- libghc-data-default-instances-old-locale-prof
- libghc-djinn-lib-dev
- libghc-data-default-instances-dlist-dev
- libghc-some-doc
- libghc-data-default-instances-old-locale-dev
- libghc-network-protocol-xmpp-prof
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.4)
- GNU C Library: Shared libraries
同时作为一个虚包由这些包填实: libc6-udeb
-
- dep: libghc-base-dev-4.13.0.0-5b8ba
- 本虚包由这些包填实: ghc
-
- dep: libgmp10
- Multiprecision arithmetic library
-
- sug: libghc-type-equality-doc
- Data.Type.Equality compat package; documentation
-
- sug: libghc-type-equality-prof
- Data.Type.Equality compat package; profiling libraries