mirror of
https://anongit.gentoo.org/git/repo/gentoo.git
synced 2026-05-11 18:33:35 -04:00
Michael Mair-Keimberger
30a6adefa8
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
22 lines
768 B
XML
22 lines
768 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
|
|
<pkgmetadata>
|
|
<maintainer type="project">
|
|
<email>haskell@gentoo.org</email>
|
|
<name>Gentoo Haskell</name>
|
|
</maintainer>
|
|
<longdescription>
|
|
In the presence of GADTs, sometimes a proof is
|
|
needed that two types are equal. This package
|
|
contains an equality type for this purpose, plus its
|
|
properties (reflexive, symmetric, transitive) and
|
|
some useful operations (substitution, congruence,
|
|
coercion/cast). It also contains a type class for
|
|
producing equality proofs, providing some form of
|
|
decidable equality on types.
|
|
</longdescription>
|
|
<upstream>
|
|
<remote-id type="github">hesselink/type-equality</remote-id>
|
|
</upstream>
|
|
</pkgmetadata>
|