diff options
| author | Eduardo Julian | 2022-10-01 18:39:48 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-10-01 18:39:48 -0400 |
| commit | 0b2294bc184b1ed3e82dc00096e9971245239e2c (patch) | |
| tree | b3e0421bb7736d09562291118a562e15fd4f1ede /stdlib/source/library/lux.lux | |
| parent | 53704218a3705132dbe807a8ef54f938809f84d5 (diff) | |
New format for extensions [part 1]
Diffstat (limited to 'stdlib/source/library/lux.lux')
| -rw-r--r-- | stdlib/source/library/lux.lux | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux index 62a51de98..249e77569 100644 --- a/stdlib/source/library/lux.lux +++ b/stdlib/source/library/lux.lux @@ -5878,5 +5878,8 @@ _ (failure (..wrong_syntax_error (symbol ..Rec))))))) +(def .public Synthesis + (Primitive "#Synthesis")) + (def .public Generation (Primitive "#Generation")) |