about summary refs log tree commit diff
path: root/users/grfn/achilles/ach/simple.ach
diff options
context:
space:
mode:
Diffstat (limited to 'users/grfn/achilles/ach/simple.ach')
-rw-r--r--users/grfn/achilles/ach/simple.ach1
1 files changed, 1 insertions, 0 deletions
diff --git a/users/grfn/achilles/ach/simple.ach b/users/grfn/achilles/ach/simple.ach
new file mode 100644
index 000000000000..20f1677235c0
--- /dev/null
+++ b/users/grfn/achilles/ach/simple.ach
@@ -0,0 +1 @@
+fn main = let x = 2; y = 3 in x + y