From 72950a540be3dc49a107700c77c0195db16a4f58 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 23 May 2018 02:04:47 -0400
Subject: - Migrated special-form analysis to stdlib.

---
 new-luxc/source/luxc/lang/synthesis.lux | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100644 new-luxc/source/luxc/lang/synthesis.lux

(limited to 'new-luxc/source/luxc/lang/synthesis.lux')

diff --git a/new-luxc/source/luxc/lang/synthesis.lux b/new-luxc/source/luxc/lang/synthesis.lux
deleted file mode 100644
index 33c8aa063..000000000
--- a/new-luxc/source/luxc/lang/synthesis.lux
+++ /dev/null
@@ -1,8 +0,0 @@
-(.module:
-  lux)
-
-(def: #export Arity Nat)
-
-(type: #export Synthesis Code)
-
-(type: #export Path Code)
-- 
cgit v1.2.3