diff options
Diffstat (limited to 'users/grfn/achilles/ach/simple.ach')
| -rw-r--r-- | users/grfn/achilles/ach/simple.ach | 1 |
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 |