diff options
author | Eduardo Julian | 2018-05-23 02:04:47 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-05-23 02:04:47 -0400 |
commit | 72950a540be3dc49a107700c77c0195db16a4f58 (patch) | |
tree | 0f36aa21abad840e1a4a29215a5bfb9bb85659a7 /new-luxc/source/luxc/lang/synthesis.lux | |
parent | 14e96f5e5dad439383d63e60a52169cc2e7aaa5c (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.lux | 8 |
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) |