new-luxc/source/luxc/synthesizer.lux


1
2
3
4
5
6
7
8
9
10
11
12
13
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))