diff options
author | Eduardo Julian | 2015-01-03 11:24:14 -0400 |
---|---|---|
committer | Eduardo Julian | 2015-01-03 11:24:14 -0400 |
commit | 661c70e4d786e7b2188564beddc586f1a50e4656 (patch) | |
tree | fe3aff74ffa526d455b7e22d7015573dc926f5f1 /another.lux | |
parent | 212dd66966a873e3d7183b071f719ef58e4d88fe (diff) |
The language officially has a name: Lux (stylized as "lux").
Diffstat (limited to 'another.lux')
-rw-r--r-- | another.lux | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/another.lux b/another.lux new file mode 100644 index 000000000..ff5bb6f0a --- /dev/null +++ b/another.lux @@ -0,0 +1,4 @@ + +## (ann id #type (All [x] (-> [x] x))) +(def (id x) + x) |