aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/synthesis.lux
blob: 3207c41b46707e3a2c4eb3b0438faedc38bfdae1 (plain)
1
2
3
4
5
6
7
8
(;module:
  lux)

(def: #export Arity Nat)

(type: #export Synthesis Code)

(type: #export Path Code)