From a8e7dd913a1dafdbefed2e6a6a60503b5043aaf9 Mon Sep 17 00:00:00 2001
From: Jacob <jacob.signorovitch@gmail.com>
Date: Thu, 28 Nov 2024 13:56:56 -0500
Subject: [PATCH] Added Registrar.

---
 registrar/.project                            | 28 +++++++++++++++++
 .../org.eclipse.core.resources.prefs          |  2 ++
 .../.settings/org.eclipse.jdt.core.prefs      | 11 +++++++
 registrar/src/registrar/Main.java             | 30 +++++++++++++++++++
 4 files changed, 71 insertions(+)
 create mode 100644 registrar/.project
 create mode 100644 registrar/.settings/org.eclipse.core.resources.prefs
 create mode 100644 registrar/.settings/org.eclipse.jdt.core.prefs
 create mode 100644 registrar/src/registrar/Main.java

diff --git a/registrar/.project b/registrar/.project
new file mode 100644
index 0000000..a7a5759
--- /dev/null
+++ b/registrar/.project
@@ -0,0 +1,28 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>registrar</name>
+	<comment></comment>
+	<projects>
+	</projects>
+	<buildSpec>
+		<buildCommand>
+			<name>org.eclipse.jdt.core.javabuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+	</buildSpec>
+	<natures>
+		<nature>org.eclipse.jdt.core.javanature</nature>
+	</natures>
+	<filteredResources>
+		<filter>
+			<id>1732679506747</id>
+			<name></name>
+			<type>30</type>
+			<matcher>
+				<id>org.eclipse.core.resources.regexFilterMatcher</id>
+				<arguments>node_modules|\.git|__CREATED_BY_JAVA_LANGUAGE_SERVER__</arguments>
+			</matcher>
+		</filter>
+	</filteredResources>
+</projectDescription>
diff --git a/registrar/.settings/org.eclipse.core.resources.prefs b/registrar/.settings/org.eclipse.core.resources.prefs
new file mode 100644
index 0000000..99f26c0
--- /dev/null
+++ b/registrar/.settings/org.eclipse.core.resources.prefs
@@ -0,0 +1,2 @@
+eclipse.preferences.version=1
+encoding/<project>=UTF-8
diff --git a/registrar/.settings/org.eclipse.jdt.core.prefs b/registrar/.settings/org.eclipse.jdt.core.prefs
new file mode 100644
index 0000000..9a7984b
--- /dev/null
+++ b/registrar/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,11 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
+org.eclipse.jdt.core.compiler.compliance=21
+org.eclipse.jdt.core.compiler.debug.lineNumber=generate
+org.eclipse.jdt.core.compiler.debug.localVariable=generate
+org.eclipse.jdt.core.compiler.debug.sourceFile=generate
+org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
+org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
+org.eclipse.jdt.core.compiler.release=enabled
+org.eclipse.jdt.core.compiler.source=21
diff --git a/registrar/src/registrar/Main.java b/registrar/src/registrar/Main.java
new file mode 100644
index 0000000..1206754
--- /dev/null
+++ b/registrar/src/registrar/Main.java
@@ -0,0 +1,30 @@
+package registrar;
+
+import tester.Tester;
+
+class Examples {
+
+    ILo<Integer> testList = new Cons<Integer>(
+        1,
+        new Cons<Integer>(2, new Mt<Integer>())
+    );
+
+    void testTest(Tester t) {
+        t.checkExpect(1, 1);
+    }
+}
+
+interface ILo<T> {}
+
+class Cons<T> implements ILo<T> {
+
+    T first;
+    ILo<T> rest;
+
+    Cons(T first, ILo<T> rest) {
+        this.first = first;
+        this.rest = rest;
+    }
+}
+
+class Mt<T> implements ILo<T> {}