diff options
Diffstat (limited to 'new-luxc/source/luxc/synthesizer.lux')
| -rw-r--r-- | new-luxc/source/luxc/synthesizer.lux | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/new-luxc/source/luxc/synthesizer.lux b/new-luxc/source/luxc/synthesizer.lux new file mode 100644 index 000000000..682bbe3ec --- /dev/null +++ b/new-luxc/source/luxc/synthesizer.lux @@ -0,0 +1,14 @@ +(;module: + lux + (lux (control monad) + (data text/format) + [macro #+ Monad<Lux>]) + (luxc ["&" base] + ["&;" analyser #+ Analysis])) + +(type: #export Synthesis + Unit) + +(def: #export (synthesize analysis) + (-> Analysis Synthesis) + (undefined)) |