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: 33c8aa063db41ad605f67cf88de3fe037e634fa5 (plain)

(.module:
  lux)

(def: #export Arity Nat)

(type: #export Synthesis Code)

(type: #export Path Code)