aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/synthesis.lux
diff options
context:
space:
mode:
authorEduardo Julian2018-05-23 02:04:47 -0400
committerEduardo Julian2018-05-23 02:04:47 -0400
commit72950a540be3dc49a107700c77c0195db16a4f58 (patch)
tree0f36aa21abad840e1a4a29215a5bfb9bb85659a7 /new-luxc/source/luxc/lang/synthesis.lux
parent14e96f5e5dad439383d63e60a52169cc2e7aaa5c (diff)
- Migrated special-form analysis to stdlib.
Diffstat (limited to 'new-luxc/source/luxc/lang/synthesis.lux')
-rw-r--r--new-luxc/source/luxc/lang/synthesis.lux8
1 files changed, 0 insertions, 8 deletions
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)