about summary refs log tree commit diff
path: root/users/glittershark/achilles/ach/functions.ach
diff options
context:
space:
mode:
Diffstat (limited to 'users/glittershark/achilles/ach/functions.ach')
-rw-r--r--users/glittershark/achilles/ach/functions.ach8
1 files changed, 0 insertions, 8 deletions
diff --git a/users/glittershark/achilles/ach/functions.ach b/users/glittershark/achilles/ach/functions.ach
deleted file mode 100644
index dc6e7a1f3e34..000000000000
--- a/users/glittershark/achilles/ach/functions.ach
+++ /dev/null
@@ -1,8 +0,0 @@
-ty id : fn a -> a
-fn id x = x
-
-ty plus : fn int -> int
-fn plus (x: int) (y: int) = x + y
-
-ty main : fn -> int
-fn main = plus (id 2) 7