From b3f0d16fc8ce26f50829be5ded44686d0012989c Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@github.com>
Date: Fri, 23 Oct 2015 18:27:16 -0400
Subject: [PATCH] Remove Term catamorphism/paramorphism :cry:

---
 prototype/UI/index.html | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/prototype/UI/index.html b/prototype/UI/index.html
index 7b0523d3e..d4be785ea 100644
--- a/prototype/UI/index.html
+++ b/prototype/UI/index.html
@@ -80,16 +80,6 @@
         return this;
     }
 
-    // forall a. Term -> (Syntax a -> a) -> a
-    Term.prototype.cata = function(transform) {
-        return transform(this.unwrap.map(function(term) { term.cata(transform) }))
-    }
-
-    // forall a. Term -> (Syntax (Term, a) -> a) -> a
-    Term.prototype.para = function(transform) {
-        return transform(this.unwrap.map(function(term) { [ term, term.para(transform) ] }))
-    }
-
     function toDOM(model, stateName, source) {
         var element;