Update 2013-07-13-the-difference-between-shallow-and-deep-embedding.md

spockz · Apr 20, 2014 · 07a29aa · 07a29aa
1 parent 96bb804
commit 07a29aa
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/source/_posts/2013-07-13-the-difference-between-shallow-and-deep-embedding.md b/source/_posts/2013-07-13-the-difference-between-shallow-and-deep-embedding.md
@@ -138,5 +138,3 @@ More reading material on this subject:
 * [Deep versus Shallow embeddings in Coq](http://cstheory.stackexchange.com/questions/1370/shallow-versus-deep-embeddings)
 
 [^folds]: Most often you should use [folds](/2009/12/17/haskell-datatypes-and-folds/) ([2](/2010/01/03/haskell-datatypes-and-folds-part-ii/)) instead of this direct recursion.
-
-Test