From 0c8e80409d398992360e72ffa877330231ac7299 Mon Sep 17 00:00:00 2001
From: Mike Donaghy <mike@mikedonaghy.org>
Date: Sat, 1 Dec 2007 16:35:22 -0500
Subject: [PATCH] Added Eiffel

---
 Eiffel.eiff | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 Eiffel.eiff

diff --git a/Eiffel.eiff b/Eiffel.eiff
new file mode 100644
index 00000000..a89340eb
--- /dev/null
+++ b/Eiffel.eiff
@@ -0,0 +1,18 @@
+indexing "Hello World in Eiffel , from http://roesler-ac.de/wolfram/hello.htm#Eiffel"
+
+class HELLO
+
+creation
+	run
+
+feature
+
+	run is
+		local
+			io : BASIC_IO;
+		do
+			!!io;
+			io.put_string("Hello World!");
+			io.put_newline
+		end; -- run
+end; -- class HELLO