summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2019-09-12 14:17:45 -0400
committerBen Gamari <ben@smart-cactus.org>2019-09-12 14:18:08 -0400
commitcd8f6c2e2161a5e89deda33f7477c6ddc24210ef (patch)
tree514be04721904492750399e07eb1ee7a2f1e8e98
parent7ef6fe8f70156581ce8e370a90975fb96f98783a (diff)
downloadhaskell-wip/T17181.tar.gz
base: Add link to "A reflection on types"wip/T17181
Fixes #17181.
-rw-r--r--libraries/base/Type/Reflection.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/libraries/base/Type/Reflection.hs b/libraries/base/Type/Reflection.hs
index 9c03c20a64..be9af91772 100644
--- a/libraries/base/Type/Reflection.hs
+++ b/libraries/base/Type/Reflection.hs
@@ -18,6 +18,7 @@
-- * Simon Peyton-Jones, Stephanie Weirich, Richard Eisenberg,
-- Dimitrios Vytiniotis. "A reflection on types."
-- /Proc. Philip Wadler's 60th birthday Festschrift/, Edinburgh (April 2016).
+-- ([PDF](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/dynamic.pdf))
--
-- The interface provides 'I.TypeRep', a type representation which can
-- be safely decomposed and composed. See "Data.Dynamic" for an example of this.