From bd3ac037cec7b1bc8681b4d58737d473e9b4be95 Mon Sep 17 00:00:00 2001 From: Chris Allen Date: Sun, 20 Jul 2014 00:38:21 -0500 Subject: [PATCH] final encodings --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 12352de..29005dc 100644 --- a/README.md +++ b/README.md @@ -360,6 +360,8 @@ Didn't know where else to put these: ## Initial and Final, DSLs, Finally Tagless +- http://creativelad.wordpress.com/2013/11/28/final-encodings-part-1-a-quick-demonstration/ + - http://martijn.van.steenbergen.nl/journal/2009/10/18/transforming-polymorphic-values/ - http://martijn.van.steenbergen.nl/journal/2009/11/12/gadts-in-haskell-98/