diff --git a/dev-haskell/type-equality/metadata.xml b/dev-haskell/type-equality/metadata.xml index 48f5add4683ef..1c5ebbe9daa92 100644 --- a/dev-haskell/type-equality/metadata.xml +++ b/dev-haskell/type-equality/metadata.xml @@ -15,4 +15,7 @@ producing equality proofs, providing some form of decidable equality on types. + + hesselink/type-equality +