summaryrefslogtreecommitdiff
path: root/java/Term.java
diff options
context:
space:
mode:
Diffstat (limited to 'java/Term.java')
-rw-r--r--java/Term.java5
1 files changed, 5 insertions, 0 deletions
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