chore(users): grfn -> aspen r/7511

Change-Id: I6c6847fac56f0a9a1a2209792e00a3aec5e672b9
Reviewed-on: https://cl.tvl.fyi/c/depot/+/10809
Autosubmit: aspen <root@gws.fyi>
Reviewed-by: sterni <sternenseemann@systemli.org>
Tested-by: BuildkiteCI
Reviewed-by: lukegb <lukegb@tvl.fyi>

6 files changed, 0 insertions, 43 deletions

diff --git a/users/grfn/achilles/ach/.gitignore b/users/grfn/achilles/ach/.gitignore
deleted file mode 100644
index ac5296ebbd74..000000000000
--- a/users/grfn/achilles/ach/.gitignore
+++ /dev/null
@@ -1,7 +0,0 @@
-*.ll
-*.o
-
-functions
-simple
-externs
-units
diff --git a/users/grfn/achilles/ach/Makefile b/users/grfn/achilles/ach/Makefile
deleted file mode 100644
index 3a8cd2865e87..000000000000
--- a/users/grfn/achilles/ach/Makefile
+++ /dev/null
@@ -1,15 +0,0 @@
-default: simple
-
-%.ll: %.ach
-	cargo run -- compile $< -o $@ -f llvm
-
-%.o: %.ll
-	llc $< -o $@ -filetype=obj
-
-%: %.o
-	clang $< -o $@
-
-.PHONY: clean
-
-clean:
-	@rm -f *.ll *.o simple functions
diff --git a/users/grfn/achilles/ach/externs.ach b/users/grfn/achilles/ach/externs.ach
deleted file mode 100644
index faf8ce90e353..000000000000
--- a/users/grfn/achilles/ach/externs.ach
+++ /dev/null
@@ -1,5 +0,0 @@
-extern puts : fn cstring -> int
-
-fn main =
-    let _ = puts "foobar"
-    in 0
diff --git a/users/grfn/achilles/ach/functions.ach b/users/grfn/achilles/ach/functions.ach
deleted file mode 100644
index dc6e7a1f3e34..000000000000
--- a/users/grfn/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
diff --git a/users/grfn/achilles/ach/simple.ach b/users/grfn/achilles/ach/simple.ach
deleted file mode 100644
index 20f1677235c0..000000000000
--- a/users/grfn/achilles/ach/simple.ach
+++ /dev/null
@@ -1 +0,0 @@
-fn main = let x = 2; y = 3 in x + y
diff --git a/users/grfn/achilles/ach/units.ach b/users/grfn/achilles/ach/units.ach
deleted file mode 100644
index 70635d978c7c..000000000000
--- a/users/grfn/achilles/ach/units.ach
+++ /dev/null
@@ -1,7 +0,0 @@
-extern puts : fn cstring -> int
-
-ty print : fn cstring -> ()
-fn print x = let _ = puts x in ()
-
-ty main : fn -> int
-fn main = let _ = print "hi" in 0