diff options
Diffstat (limited to 'another.lang')
-rw-r--r-- | another.lang | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/another.lang b/another.lang new file mode 100644 index 000000000..9ff9f8885 --- /dev/null +++ b/another.lang @@ -0,0 +1,9 @@ + +## (ann id #type (All [x] (-> [x] x))) +(def (id x) + x) + +#( (def (id x) + (let return "RETURN" + return)) + )# |