synthesis.lux « lang « luxc « source « new-luxc - lux - fork of https://github.com/LuxLang/lux for my bookshelf

about summary refs log tree commit diff

path: root/new-luxc/source/luxc/lang/synthesis.lux

blob: 3207c41b46707e3a2c4eb3b0438faedc38bfdae1 (plain)

(;module:
  lux)

(def: #export Arity Nat)

(type: #export Synthesis Code)

(type: #export Path Code)