diff --git a/www/app/component/pretty/term/__builtin.component.js b/www/app/component/pretty/term/__builtin.component.js
deleted file mode 100644
index 138985b2..00000000
--- a/www/app/component/pretty/term/__builtin.component.js
+++ /dev/null
@@ -1,4 +0,0 @@
-module.exports = {
-	template: `<ng-transclude class="builtin clickable" />`,
-	transclude: true,
-};
\ No newline at end of file
diff --git a/www/app/component/pretty/term/__kind.component.js b/www/app/component/pretty/term/__kind.component.js
deleted file mode 100644
index a349c597..00000000
--- a/www/app/component/pretty/term/__kind.component.js
+++ /dev/null
@@ -1,4 +0,0 @@
-module.exports = {
-	template: `<ng-transclude class="kind" />`,
-	transclude: true,
-};
\ No newline at end of file
diff --git a/www/app/component/pretty/term/__lambda.component.js b/www/app/component/pretty/term/__lambda.component.js
deleted file mode 100644
index 08095552..00000000
--- a/www/app/component/pretty/term/__lambda.component.js
+++ /dev/null
@@ -1,4 +0,0 @@
-module.exports = {
-	template: `<ng-transclude class="lambda" />`,
-	transclude: true,
-};
\ No newline at end of file
diff --git a/www/app/component/pretty/term/__prop.component.js b/www/app/component/pretty/term/__prop.component.js
deleted file mode 100644
index ef2ced91..00000000
--- a/www/app/component/pretty/term/__prop.component.js
+++ /dev/null
@@ -1,4 +0,0 @@
-module.exports = {
-	template: `<ng-transclude class="prop" />`,
-	transclude: true,
-};
\ No newline at end of file
diff --git a/www/app/component/pretty/term/__sort.component.js b/www/app/component/pretty/term/__sort.component.js
deleted file mode 100644
index d6baa140..00000000
--- a/www/app/component/pretty/term/__sort.component.js
+++ /dev/null
@@ -1,4 +0,0 @@
-module.exports = {
-	template: `<ng-transclude class="sort" />`,
-	transclude: true,
-};
\ No newline at end of file