From 5d6c4ca8848b28729b2eabcdaea48db0d491f406 Mon Sep 17 00:00:00 2001 From: Anupam Jain Date: Mon, 18 Jan 2021 11:30:44 +0000 Subject: [PATCH] Add link to slides for the talk --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index bcbcbdc..779456b 100644 --- a/README.md +++ b/README.md @@ -3,6 +3,8 @@ Reified types for Purescript This is an implementation of indexed typereps for Purescript, similar to the [corresponding implementation in Haskell](https://hackage.haskell.org/package/base-4.10.0.0/docs/Type-Reflection.html#t:TypeRep). +[Slides for a talk about Purescript-Typeable](https://speakerdeck.com/ajnsit/purescript-typeable), presented at the Purescript semi-monthly meetup on 18 January 2021, are available. + ## Data.Typeable `TypeReps` are values that represent types (i.e. they reify types). When they are *indexed* they have the type itself as a parameter.