From 0ab73e47af2bba3fb2ff6a4bf08ada4a3309bf3e Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud.bailly@iohk.io>
Date: Sat, 12 Oct 2024 10:07:07 +0200
Subject: Add java evaluator

---
 java/Term.java | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 java/Term.java

(limited to 'java/Term.java')

diff --git a/java/Term.java b/java/Term.java
new file mode 100644
index 0000000..2dcc9fe
--- /dev/null
+++ b/java/Term.java
@@ -0,0 +1,5 @@
+package org.lambdanantes.lcgoji.ast;
+
+public sealed interface Term permits Var, Abs, App {
+
+}
\ No newline at end of file
-- 
cgit v1.2.3